Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
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 Gödel's completeness theorem. A sneak peek to Gö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 Gödel's completeness theorem. A sneak peek to Gö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
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9456565
電子資源
11.線上閱覽_V
電子書
EB QA9 .G64 2022
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login