Articoli correlati a Mathematical Logic through Python
Sinossi
A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
Yannai A. Gonczarowski is Assistant Professor of both Economics and Computer Science at Harvard University, and is the first faculty at Harvard to be appointed to both of these departments. He received his PhD in Mathematics and Computer Science from The Hebrew University of Jerusalem. Among his research awards are the ACM SIGecom Dissertation Award and INFORMS AMD Junior Researcher Paper Prize. He is also a professionally trained opera singer.
Noam Nisan is Professor of Computer Science and Engineering at The Hebrew University of Jerusalem, serving as Dean of the School of Computer Science and Engineering during 2018-2021. He received his PhD in Computer Science from the University of California, Berkeley. Among the awards for his research on computational complexity and algorithmic game theory are the Gödel Prize and Knuth Award. This is his fifth book.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 31,14
EUR 2,26 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Mathematical Logic through Python
Foto dell'editore
Mathematical Logic through Python
Editore:
Cambridge University Press, 2022
ISBN 10: 1108949479
ISBN 13: 9781108949477
Antico o usato
paperback
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Codice articolo mon0003835950
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematical Logic Through Python
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 43832281-n
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic through Python
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781108949477
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic Through Python
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FM-9781108949477
Quantità: 15 disponibili
Immagini fornite dal venditore
Mathematical Logic Through Python
Editore:
Cambridge University Press, 2022
ISBN 10: 1108949479
ISBN 13: 9781108949477
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 43832281
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic Through Python
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo FM-9781108949477
Quantità: 15 disponibili
Foto dell'editore
MATHEMATICAL LOGIC THROUGH PYTHON
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-410458
Quantità: 2 disponibili
Foto dell'editore
Mathematical Logic through Python (Paperback)
Editore:
Cambridge University Press, Cambridge, 2022
ISBN 10: 1108949479
ISBN 13: 9781108949477
Nuovo
Paperback
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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 Goedel's completeness theorem. A sneak peek to Goedel'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. In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical proofs in the Python programming language, thus achieving deep hands-on clarity and understanding. The text is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9781108949477
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic through Python
Editore:
Cambridge University Press CUP, 2022
ISBN 10: 1108949479
ISBN 13: 9781108949477
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 284. Codice articolo 26387039404
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic through Python
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 284. Codice articolo 392593267
Quantità: 1 disponibili