Buy Mathematical Logic Through Python Gonczarowski Nisan Paperback 9781108949477

This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.

See Details on Ebay

Mathematical Logic through Python Gonczarowski Nisan Paperback 9781108949477

Yannai A. Gonczarowski (Author), Noam Nisan (Author). 9781108949477, Cambridge University Press. A sneak peek to Gödel's incompleteness theorem is also provided. Mathematical Logic through Python. Paperback / softback, published 15 September 2022.

27.68$ Buy It Now

Item	394557633862
Seller	freshlyprintedbooks ( 776 ⭐ ) 100.0% Location: AL7 1AD, GB Accept Payments With ,
Shipping	See shipping cost, Ships to Worldwide, ...
Guarantee	eBay Money Back Guarantee
Condition	Brand New
BIC Subject Area 1	Computer architecture & logic design [UYF]
BIC Subject Area 2	Computer programming / software development [UM]
BIC Subject Area 3	Information technology: general issues [UB]
BIC Subject Area 4	Discrete mathematics [PBD]
BIC Subject Area 5	Mathematical logic [PBCD]
Author	Yannai A. Gonczarowski, Noam Nisan
Book Title	Mathematical Logic through Python
Language	English
Number of Pages	284
ISBN	1108949479
Publisher	Cambridge University Press
Format	Paperback / softback
Publication Year	2022
Publication Date	15/09/2022
Item Depth	14
Item Width	178
Item Height	254

Mathematical Logic through Python

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

Yannai A. Gonczarowski (Author), Noam Nisan (Author)

9781108949477, Cambridge University Press

Paperback / softback, published 15 September 2022

284 pages
25.4 x 17.8 x 1.4 cm, 0.61 kg

'… a very useful addition to the existing library of mathematical logic textbooks.' Tim Swift, Irish Mathematical Society Bulletin

Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

PrefaceIntroduction and OverviewPart I. Propositional Logic: 1. Propositional Logic Syntax2. Propositional Logic Semantics3. Logical Operators4. Proof by Deduction5. Working with Proofs6. The Tautology Theorem and the Completeness of Propositional LogicPart II. Predicate Logic: 7. Predicate Logic Syntax and Semantics8. Getting Rid of Functions and Equality9. Deductive Proofs of Predicate Logic Formulas10. Working with Predicate Logic Proofs11. The Deduction Theorem and Prenex Normal Form12. The Completeness Theorem13. Sneak Peek at Mathematical Logic II: Godel's Incompleteness TheoremCheatsheet Axioms and Axiomatic Inference Rules Used in this BookNotesIndex.

Subject Areas: Computer architecture & logic design [UYF], Computer programming / software development [UM], Information technology: general issues [UB], Discrete mathematics [PBD], Mathematical logic [PBCD]