Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Modelling Puzzles in First Order Logic - Adrian Groza

Modelling Puzzles in First Order Logic

By: Adrian Groza

eText | 26 October 2021

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsMathematical FoundationMathematical LogicComputing & I.T.Computer ScienceMathematical Theory of ComputationArtificial IntelligenceEducationEducation Equipment & TechnologyHistory of Mathematics

More in Mathematical Logic

Symbolic Logic - Lewis Carroll

eBOOK

Symbolic Logic

eBook

$2.99

The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$2.99

The Game of Logic - Lewis Carroll

eBOOK

The Game of Logic

eBook

$3.29

Symbolic Logic - Lewis Carroll

eBOOK

Symbolic Logic

eBook

$3.29

The Book of Infinity - Joel David Hamkins

eBOOK

The Book of Infinity

eBook

RRP $127.08

$101.99

20%
OFF

This product is categorised by