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

Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)

Previous				No cover image available				Next
Previous	005.1076 P753R Requirements engineering fundamentals :	005.11 L11G2 Guide to Competitive Programming :	005.131 B43M3 Mathematical logic for computer science	005.131 G586M Mathematical logic through Python	005.133 B181P9 Programming in ANSI C	005.133 B181P9 Programming in ANSI C	005.133 B181P9 Programming in ANSI C	Next

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.