Modelling Puzzles in First Order Logic
- ISBN-10
- 3030625478
- ISBN-13
- 9783030625474
- Category
- Mathematics
- Pages
- 344
- Language
- English
- Published
- 2021
- Publisher
- Springer Nature
- Author
- Adrian Groza
Description
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.
Get the book
Similar books
-
First-order Logic
By Raymond M. SmullyanConsidered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods.
-
Artificial Intelligence in Education Technologies: New Development and Innovative Practices: Proceedings of 2023 4th International Conference on Artificial Intelligence in...
By Eric C. K. Cheng, Tianchong Wang, Tim Schlippe... modelling puzzles and thus developing problem- solving skills . Puzzles can be seen both as a warm - up activity to start a lecture on knowledge representation or as an instrument to ... First Order Logic with Friendly Puzzles 1 Motivation.
-
Extensions of First-Order Logic
By Maria ManzanoThis book introduces some extensions of classical first-order logic and applies them to reasoning about computer programs.
-
First-order Logic: An Introduction
By Leigh S. CaumanAn introduction to principles and notation of modern symbolic logic, for those with no prior courses.
-
Puzzles and Games: A Mathematical Modeling Approach
By Tony HÌ_rlimannPuzzles and Games: A Mathematical Modeling Approach
-
Elements of Mathematical Logic: (Model Theory)
By Jean Louis Krivine, Georg KreiselThis book presents the principles of the Axiomatic Method, here formulated in set theoretic, also called: semantic, terms. This book also contains the elementary, more or less classical, results of...
-
A Beginner's Further Guide to Mathematical Logic
By Raymond M. SmullyanArgonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, ...
-
Beyond First Order Model Theory, Volume I
By José IovinoThis book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.
-
Models and Games
By Jouko VäänänenWith over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.
-
Building Models by Games
By Wilfrid HodgesThis volume introduces a general method for building infinite mathematical structures and surveys applications in algebra and model theory.