Mathematical logic through Python / (Record no. 54645)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02209nam a2200301 i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | IN-BdCUP |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250103125020.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 200623s2022||||enk o ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781108954464 (ebook) |
| Canceled/invalid ISBN | 9781108845076 (hardback);9781108949477 (paperback) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | IN-BdCUP |
| Language of cataloging | eng |
| Transcribing agency | IN-BdCUP |
| Description conventions | rda |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9 |
| Item number | .G64 2022 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.13/1 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Gonczarowski, Yannai A. |
| Relator term | Author |
| 245 #0 - TITLE STATEMENT | |
| Title | Mathematical logic through Python / |
| Statement of responsibility, etc. | Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem. |
| 264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cambridge, United Kingdom ; New York, NY : |
| Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2022 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xii, 271 pages) : |
| Other physical details | digital, PDF file(s). |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| 337 ## - MEDIA TYPE | |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 01 Sep 2022). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 Go?del's completeness theorem. A sneak peek to Go?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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical. |
| -- | Python (Computer program language) |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nisan, Noam, |
| Relator term | author. |
| 776 ## - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| International Standard Book Number | 9781108954464 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Electronic Book Resource |
| Uniform Resource Identifier | <a href="https://doi.org/10.1017/9781108954464">https://doi.org/10.1017/9781108954464</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | E-Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Order Number | Cost, normal purchase price | Bill number | Total checkouts | Full call number | Barcode | Date last seen | Uniform resource identifier | Actual Cost, replacement price | Bill Date | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Ranganathan Library | Ranganathan Library | 01/01/2025 | Today & Tomorrow's Printers and Publishers | CUP/LIB/24 | 270.00 | TTPP/202/2024-25 | 5.131 | E01836 | 03/01/2025 | https://doi.org/10.1017/9781108954464 | 270.00 | 13/11/2024 | E-Book |