國立高雄大學圖資館 |

登入

回首頁

Mathematical logic through Python

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Mathematical logic through PythonYannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
作者:	Gonczarowski, Yannai A.
其他作者:	Nisan, Noam.
出版者:	Cambridge, United Kingdom ; New York, NY :Cambridge University Press,2022.
面頁冊數:	xii, 271 p. :ill., digital ;26 cm.
附註:	Title from publisher's bibliographic system (viewed on 01 Sep 2022).
標題:	Logic, Symbolic and mathematical.
電子資源:	https://doi.org/10.1017/9781108954464
ISBN:	9781108954464

Mathematical logic through Python
Gonczarowski, Yannai A.

Mathematical logic through Python[electronic resource] /Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem. - Cambridge, United Kingdom ; New York, NY :Cambridge University Press,2022. - xii, 271 p. :ill., digital ;26 cm.

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: 9781108954464Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .G64 2022

Dewey Class. No.: 005.131

Mathematical logic through Python
LDR:01931nmm a2200253 a 4500 001 626603
003 UkCbUP
005 20220908133739.0
006 m d
007 cr nn 008maaau
008 230118s2022 enk o 1 0 eng d
020 $a 9781108954464 $q (electronic bk.)
020 $a 9781108845076 $q (hardback)
020 $a 9781108949477 $q (paperback)
035 $a CR9781108954464
040 $a UkCbUP $b eng $c UkCbUP $d GP
050 0 0 $a QA9 $b .G64 2022
082 0 0 $a 005.131 $2 23
090 $a QA9 $b .G635 2022
100 1 $a Gonczarowski, Yannai A. $3 930120
245 1 0 $a Mathematical logic through Python $h [electronic resource] / $c Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
260 $a Cambridge, United Kingdom ; New York, NY : $b Cambridge University Press, $c 2022.
300 $a xii, 271 p. : $b ill., digital ; $c 26 cm.
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 180452
650 0 $a Python (Computer program language) $3 215247
700 1 $a Nisan, Noam. $3 257639
856 4 0 $u https://doi.org/10.1017/9781108954464