Mathematical logic through python
Auteur :
Gonczarowski, Yannai A. / Nisan, Noam
Éditeur :
Cambridge University Press
ISBN :
9781108949477
Date de publication :
15 sept. 2022
Dimensions :
25,4 x 17,8 x 1,4 cm
Poids :
610 g
Format :
Trade paperback (US)
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.