000 02209nam a2200301 i 4500
003 IN-BdCUP
005 20250103125020.0
008 200623s2022||||enk o ||1 0|eng|d
020 _a9781108954464 (ebook)
_z9781108845076 (hardback);9781108949477 (paperback)
040 _aIN-BdCUP
_beng
_cIN-BdCUP
_erda
041 _aeng
050 _aQA9
_b.G64 2022
082 _a005.13/1
100 _aGonczarowski, Yannai A.
_eAuthor
245 0 _aMathematical logic through Python /
_cYannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
264 _aCambridge, United Kingdom ; New York, NY :
_bCambridge University Press,
_c2022
300 _a1 online resource (xii, 271 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
337 _2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
500 _aTitle from publisher's bibliographic system (viewed on 01 Sep 2022).
520 _aUsing 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 _aLogic, Symbolic and mathematical.
_aPython (Computer program language)
700 _aNisan, Noam,
_eauthor.
776 _iPrint version:
_z9781108954464
856 _3Electronic Book Resource
_uhttps://doi.org/10.1017/9781108954464
942 _2ddc
_cE
999 _c54645
_d54645