東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Mathematical logic through Python

Gonczarowski, Yannai A.

Linked to FindBook

Google Book

Amazon

博客來

Mathematical logic through Python

Record Type:	Electronic resources : Monograph/item
Title/Author:	Mathematical logic through Python/ Yannai A. Gonczarowski, Harvard University, Noam Nisan, Hebrew University of Jerusalem.
Author:	Gonczarowski, Yannai A.
other author:	Nisan, Noam.
Published:	Cambridge, United Kingdom ; New York, NY :Cambridge University Press, : 2022.,
Description:	xii, 271 p. :ill., digital ;26 cm.
Notes:	Title from publisher's bibliographic system (viewed on 01 Sep 2022).
Subject:	Logic, Symbolic and mathematical. -
Online resource:	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