Mathematical logic through python
Auteur :
Gonczarowski, Yannai A. / Nisan, Noam
Éditeur :
Cambridge University Press
ISBN :
9781108845076
Date de publication :
15 sept. 2022
Dimensions :
26,0 x 18,1 x 1,7 cm
Poids :
740 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.