東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Mathematical logic through Python

Gonczarowski, Yannai A.

FindBook

Google Book

Amazon

博客來

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.
出版者:	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:

532051
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 2324618
003 UkCbUP
005 20220908133739.0
006 m d
007 cr nn 008maaau
008 231215s2022 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 3646013
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 532051
650 0 $a Python (Computer program language) $3 729789
700 1 $a Nisan, Noam. $3 906427
856 4 0 $u https://doi.org/10.1017/9781108954464