Mathematical Logic through Python

Auteur: Gonczarowski, Yannai A. (Harvard University, Massachusetts)
Editeur: Cambridge University Press
In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests.
Sur commande
In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests.
ISBN / EAN 9781108845076
Auteur Gonczarowski, Yannai A. (Harvard University, Massachusetts)
Editeur Cambridge University Press