MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02033nam a22002537a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
NU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250516130930.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250516b ph ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-1-108-94947-7 |
| Qualifying information |
(paperback) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NU FAIRVIEW |
| Transcribing agency |
NU FAIRVIEW |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA 9 G66 2022 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gonczarowski, Yannai A., |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical logic through Python / |
| Statement of responsibility, etc. |
Yannai A. Gonczarowski and Noam Nisan. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
United Kingdom : |
| Name of producer, publisher, distributor, manufacturer |
Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice |
c2022. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
ix, 271 pages ; |
| Dimensions |
25 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
3119.00 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Part 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 ## - 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"-- |
| Assigning source |
Provided by publisher. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
LOGIC, SYMBOL AND MATHEMATICAL. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
PHYTON (COMPUTER PROGRAM LANGUAGE). |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Nisan, Noam, |
| Relator term |
author. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Books |
| Suppress in OPAC |
No |
