Mathematical logic through Python
Gonczarowski, Yannai A.
Mathematical logic through Python Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. - Cambridge: Cambridge University Press, 2022. - xii, 271p.
Includes index.
"An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided"--
2021057960
Logic, Symbolic and mathematical.
Python (Computer program language)
COMPUTERS / Languages / General
QA9
005.131 G586M
Mathematical logic through Python Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. - Cambridge: Cambridge University Press, 2022. - xii, 271p.
Includes index.
"An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided"--
2021057960
Logic, Symbolic and mathematical.
Python (Computer program language)
COMPUTERS / Languages / General
QA9
005.131 G586M