Gonczarowski, Yannai A. (Harvard University, Nisan, Noam (Hebrew University of Jerusalem)
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.
I have a question about the book:
‘Mathematical Logic through Python - Gonczarowski, Yannai A. (Harvard University, Nisan, Noam (Hebrew University of Jerusalem)’.
Fill in the form below.
We will respond as fast as possible.
