語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Modelling Puzzles in First Order Logic
~
Groza, Adrian.
Modelling Puzzles in First Order Logic
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Modelling Puzzles in First Order Logic/ by Adrian Groza.
作者:
Groza, Adrian.
面頁冊數:
XV, 338 p. 208 illus., 93 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Computers and Education. -
電子資源:
https://doi.org/10.1007/978-3-030-62547-4
ISBN:
9783030625474
Modelling Puzzles in First Order Logic
Groza, Adrian.
Modelling Puzzles in First Order Logic
[electronic resource] /by Adrian Groza. - 1st ed. 2021. - XV, 338 p. 208 illus., 93 illus. in color.online resource.
Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language.
Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles. Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution. This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses. .
ISBN: 9783030625474
Standard No.: 10.1007/978-3-030-62547-4doiSubjects--Topical Terms:
669806
Computers and Education.
LC Class. No.: QA8.9-10.3
Dewey Class. No.: 005.131
Modelling Puzzles in First Order Logic
LDR
:02789nam a22003855i 4500
001
1056644
003
DE-He213
005
20211026114022.0
007
cr nn 008mamaa
008
220103s2021 sz | s |||| 0|eng d
020
$a
9783030625474
$9
978-3-030-62547-4
024
7
$a
10.1007/978-3-030-62547-4
$2
doi
035
$a
978-3-030-62547-4
050
4
$a
QA8.9-10.3
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
005.131
$2
23
100
1
$a
Groza, Adrian.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1211631
245
1 0
$a
Modelling Puzzles in First Order Logic
$h
[electronic resource] /
$c
by Adrian Groza.
250
$a
1st ed. 2021.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
XV, 338 p. 208 illus., 93 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
505
0
$a
Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language.
520
$a
Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles. Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution. This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses. .
650
2 4
$a
Computers and Education.
$3
669806
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Logic in AI.
$3
1228083
650
1 4
$a
Mathematical Logic and Formal Languages.
$3
670059
650
0
$a
Education—Data processing.
$3
1253610
650
0
$a
Computer logic.
$3
786340
650
0
$a
Artificial intelligence.
$3
559380
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030625467
776
0 8
$i
Printed edition:
$z
9783030625481
856
4 0
$u
https://doi.org/10.1007/978-3-030-62547-4
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入