國立虎尾科技大學 |

Modelling Puzzles in First Order Logic

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Modelling Puzzles in First Order Logic/ by Adrian Groza.
Author:	Groza, Adrian.
Description:	XV, 338 p. 208 illus., 93 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Mathematical logic. -
Online resource:	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:

810627
Mathematical logic.

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 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer logic. $3 786340
650 0 $a Education—Data processing. $3 1253610
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Computers and Education. $3 669806
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)