Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 005.131 GON (Browse shelf) | Available | 034451 |
No cover image available | ||||||||
005.131 AND Logic programming : operational semantics and proof theory | 005.131 DAL Grammatical inference : learning automata and grammars | 005.131 FLE Formal models of computation : the ultimate limits of computing | 005.131 GON Mathematical logic through Python | 005.131 GRU Parsing techniques : a practical guide | 005.131 HAM Logic and language models for computer science | 005.131 HIN Industrial-strength formal methods in practice |
Includes index.
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ödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided.
There are no comments for this item.