Adrian Groza
Modelling Puzzles in First Order Logic
Modelling Puzzles in First Order Logic
💎 Earn 187 Points (£1.87) on this item.
YOU SAVE £7.52
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Modelling Puzzles in First Order Logic
The book "Modeling and Solving Logic Puzzles" is a valuable resource for teachers and students that offers fun activities to teach and learn logic. It provides new, complete, and running formalizations 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.
Format: Paperback / softback
Length: 338 pages
Publication date: 27 October 2021
Publisher: Springer Nature Switzerland AG
Keeping students engaged and actively learning in computer science can be a challenging task. Instructors in this field are well aware of the cognitive value of modelling puzzles and often utilize logical puzzles as an effective pedagogical tool to engage students and develop problem-solving skills.
To address this need, this unique book offers a comprehensive resource for teachers and students alike. It provides a wide range of fun activities designed to teach and learn logic. The book offers new, complete, and running formalizations 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. The book provides a ready-to-use format that illustrates how to model each puzzle, offers running implementations, and explains each solution.
This concise and easy-to-follow textbook is a much-needed support tool for students who wish to explore beyond the introductory level of learning logic and for lecturers who seek examples to enhance student engagement in their computer science courses. By incorporating these fun and interactive activities into their teaching, instructors can create a more engaging and effective learning environment for their students.
Weight: 554g
Dimension: 157 x 234 x 25 (mm)
ISBN-13: 9783030625467
Edition number: 1st ed. 2021
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
