|Mathematical Logic through Python (Cambridge University Press)|
|Friday, 16 September 2022|
Using an approach tailored to the intuitions and strengths of the ever-growing population of programming-savvy students, Yannai A. Gonczarowski and Noam Nisan introduce mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. The approach brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code.
Author: Yannai A. Gonczarowski and Noam Nisan
For more Book Watch just click.
Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed.
To have new titles included in Book Watch contact BookWatch@i-programmer.info