Yannai A. Gonczarowski, Noam Nisan

Gebundenes Buch

Mathematical Logic through Python

Beschreibung

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.

Autor

Yannai A. Gonczarowski is Assistant Professor of both Economics and Computer Science at Harvard University, and is the first faculty at Harvard to be appointed to both of these departments. He received his PhD in Mathematics and Computer Science from The Hebrew University of Jerusalem. Among his research awards are the ACM SIGecom Dissertation Award and INFORMS AMD Junior Researcher Paper Prize. He is also a professionally trained opera singer.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 284
• Erscheinungstermin: 15. September 2022
• Englisch
• Abmessung: 260mm x 183mm x 20mm
• Gewicht: 734g
• ISBN-13: 9781108845076
• ISBN-10: 110884507X
• Artikelnr.: 62846566