Mathematical logic through Python Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem.

By:

Gonczarowski, Yannai A [author.]

Contributor(s):

Nisan, Noam [author.]

Publication details: Cambridge: Cambridge University Press, 2022.Description: xii, 271pSubject(s):

Additional physical formats: Print version:: Mathematical logic through PythonDDC classification:

005.131 G586M 23

LOC classification:

Other classification:

COM051010

Summary: "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"--

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode
Books	Central Library, IISER Bhopal Reference Section	Reference	005.131 G586M (Browse shelf(Opens below))	Checked out to Arpit Sharma (0201) Not For Loan	Reserve	01/09/2025	11201

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 on this title.

to post a comment.