Mathematical Logic through Python

This text uses Python programming to teach mathematical logic, making it accessible to programming-savvy students and providing a deep hands-on understanding. It covers propositional and first-order predicate logic, culminating in a proof of Gödel's completeness theorem.

Format: Paperback / softback
Length: 284 pages
Publication date: 15 September 2022
Publisher: Cambridge University Press

This text takes a unique pedagogical approach to introducing mathematical logic by guiding students through the implementation of logical concepts and mathematical proofs using Python programming. Tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, this approach brings mathematical logic into their comfort zone, providing clarity that can only be achieved through a deep hands-on understanding and the satisfaction of creating working code. While the approach is unique, the text covers the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek into Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

This text takes a unique pedagogical approach to introducing mathematical logic by guiding students through the implementation of logical concepts and mathematical proofs using Python programming. Tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, this approach brings mathematical logic into their comfort zone, providing clarity that can only be achieved through a deep hands-on understanding and the satisfaction of creating working code. While the approach is unique, the text covers the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek into Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

Weight: 614g
Dimension: 178 x 253 x 19 (mm)
ISBN-13: 9781108949477