Mathematical Logic through Python
- Format: Pocket
- Antall sider: 250
- Språk: Engelsk
- Forlag/Utgiver: SD Books
- EAN: 9781108949477
- Utgivelsesår: 2022
- Bidragsyter: Gonczarowski, Yannai A. (Harvard University, Massachusetts); Nisan, Noam (Hebrew University of Jerusalem)
339,-
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.