Mathematische Logik durch Python, Taschenbuch von Gonczarowski, Yannai A.; Nisa...
30,63 €
Mathematical Logic Through Python, Paperback by Gonczarowski, Yannai A.; Nisan, Noam, ISBN 1108949479, ISBN-13 9781108949477, Like New Used, Free P&P in the UK "An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gèodel's Completeness Theorem. A "sneak peak" into Gèodel's Incompleteness Theorem is also provided"--
Jetzt bei Ebay:
![Produktbild - Mathematical Logic Through Python by Gonczarowski, Yannai A. [Paperback]](https://i.ebayimg.com/thumbs/images/g/gTsAAOSw7DFnXE2T/s-l140.jpg)
![Produktbild - Mathematical Logic Through Python by Gonczarowski, Yannai A. [Hardback]](https://i.ebayimg.com/thumbs/images/g/qrwAAOSwk3VnNQi~/s-l140.jpg)
