國立虎尾科技大學 |

Mathematical logic through Python /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathematical logic through Python // Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
作者:	Gonczarowski, Yannai A.,
其他作者:	Nisan, Noam,
面頁冊數:	1 online resource (xii, 271 pages) :digital, PDF file(s). :
附註:	Title from publisher's bibliographic system (viewed on 01 Sep 2022).
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1017/9781108954464
ISBN:	9781108954464 (ebook)

Mathematical logic through Python /
Gonczarowski, Yannai A.,1981-

Mathematical logic through Python /Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem. - 1 online resource (xii, 271 pages) :digital, PDF file(s).

Title from publisher's bibliographic system (viewed on 01 Sep 2022).

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.

ISBN: 9781108954464 (ebook)Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .G64 2022

Dewey Class. No.: 005.13/1

Mathematical logic through Python /
LDR:02100nam a2200289 i 4500 001 1127336
003 UkCbUP
005 20220908133739.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2022||||enk o ||1 0|eng|d
020 $a 9781108954464 (ebook)
020 $z 9781108845076 (hardback)
020 $z 9781108949477 (paperback)
035 $a CR9781108954464
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a QA9 $b .G64 2022
082 0 0 $a 005.13/1 $2 23/eng/20220125
100 1 $a Gonczarowski, Yannai A., $d 1981- $e author. $3 1386255
245 1 0 $a Mathematical logic through Python / $c Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
264 1 $a Cambridge, United Kingdom ; New York, NY : $b Cambridge University Press, $c 2022.
300 $a 1 online resource (xii, 271 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Title from publisher's bibliographic system (viewed on 01 Sep 2022).
520 $a 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 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Python (Computer program language) $3 566246
700 1 $a Nisan, Noam, $e author. $3 1386256
776 0 8 $i Print version: $z 9781108845076
856 4 0 $u https://doi.org/10.1017/9781108954464