000			02033nam a22002537a 4500
003			NU
005			20250516130930.0
008			250516b ph ||||| |||| 00| 0 eng d
020			_a978-1-108-94947-7 _q(paperback)
040			_aNU FAIRVIEW _cNU FAIRVIEW
050	0	0	_aQA 9 G66 2022
100	1		_aGonczarowski, Yannai A., _eauthor.
245	1	0	_aMathematical logic through Python / _cYannai A. Gonczarowski and Noam Nisan.
264		1	_aUnited Kingdom : _bCambridge University Press, _cc2022.
300			_aix, 271 pages ; _c25 cm.
365			_b3119.00
504			_aIncludes index.
505			_aPart I : Propositional logic -- 1. Propositional logic syntax -- 2. Propositional logic semantics -- 3. Logical operators -- 4. Proof by deduction -- 5. Working with proofs -- 6. The tautology theorem and completeness of propositional logic -- Part II : Predicate logic -- 7. Predicate logic syntax and semantics -- 8. Getting rid of functions and equality -- 9. Deductive proofs of predicate logic formulas -- 10. Working with predicate logic proofs -- 11. The deduction theorem and prenex normal form -- 12. The completeness theorem -- 13. Sneak peek at mathematical logic II: Godel's incompleteness theorem -- Cheatsheet: axioms and axiomatic inference rules used in this book -- Index.
520			_a"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"-- _cProvided by publisher.
650		0	_aLOGIC, SYMBOL AND MATHEMATICAL.
650		0	_aPHYTON (COMPUTER PROGRAM LANGUAGE).
700	1		_aNisan, Noam, _eauthor.
942			_2lcc _cBK _n0
999			_c6080 _d6080