| 000 -LEADER |
|---|
| fixed length control field |
a |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
231101b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781108949477 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| Item number |
GON |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gonczarowski, Yannai A. |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Mathematical logic through Python |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Name of publisher, distributor, etc |
Cambridge University Press, |
| Date of publication, distribution, etc |
2022 |
| Place of publication, distribution, etc |
Cambridge : |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 271 p. ; |
| Other physical details |
ill., |
| Dimensions |
26 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
22.99 |
| Price type code |
GBP |
| Unit of pricing |
107.60 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Godels incompleteness Theorem |
|
|---|
| Topical term or geographic name as entry element |
Completeness Theorem |
|
|---|
| Topical term or geographic name as entry element |
Deduction Theorem |
|
|---|
| Topical term or geographic name as entry element |
Logical Operators |
|
|---|
| Topical term or geographic name as entry element |
Conjunctive normal form |
|
|---|
| Topical term or geographic name as entry element |
Polish Notations |
|
|---|
| Topical term or geographic name as entry element |
Propositional logic syntax |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Nisan, Noam |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |