Mathematical Logic Through Python
Yannai A. (harvard University Gonczarowski & Noam (hebrew University Of Jerusalem) Nisan
Mathematical Logic Through Python
Yannai A. (harvard University Gonczarowski & Noam (hebrew University Of Jerusalem) Nisan
Paperback / Sewn
|
English
€29.50
- From €15,- no shipping costs.
- 30 days to change your mind and return physical products
Description
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.