SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Yannai A. Gonczarowski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Mathematical Logic through Python
Yannai A. Gonczarowski; Noam Nisan
Cambridge University Press (2022)
Kovakantinen kirja
75,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical Logic through Python
Yannai A. Gonczarowski; Noam Nisan
Cambridge University Press (2022)
Pehmeäkantinen kirja
29,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical Logic through Python
75,30 €
Cambridge University Press
Sivumäärä: 280 sivua
Asu: Kovakantinen kirja
Painos: New edition
Julkaisuvuosi: 2022, 15.09.2022 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Mathematical Logic through Pythonzoom
Näytä kaikki tuotetiedot
ISBN:
9781108845076
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste