Zur Startseite gehen
0,00 €*
Cover: 9781108845076 | Mathematical Logic through Python | Yannai A. Gonczarowski (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Mathematical Logic through Python
Buch von Yannai A. Gonczarowski (u. a.)
Sprache: Englisch

75,30 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Über den Autor
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.
Inhaltsverzeichnis
Preface; Introduction and Overview; Part I. Propositional Logic: 1. Propositional Logic Syntax; 2. Propositional Logic Semantics; 3. Logical Operators; 4. Proof by Deduction; 5. Working with Proofs; 6. The Tautology Theorem and the Completeness of Propositional Logic; Part II. Predicate Logic: 7. Predicate Logic Syntax and Semantics; 8. Getting Rid of Functions and Equality; 9. Deductive Proofs of Predicate Logic Formulas; 10. Working with Predicate Logic Proofs; 11. The Deduction Theorem and Prenex Normal Form; 12. The Completeness Theorem; 13. Sneak Peek at Mathematical Logic II: Godel's Incompleteness Theorem; Cheatsheet Axioms and Axiomatic Inference Rules Used in this Book; Notes; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781108845076
ISBN-10: 110884507X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Gonczarowski, Yannai A.
Nisan, Noam
Hersteller: Cambridge University Press
Maße: 260 x 183 x 20 mm
Von/Mit: Yannai A. Gonczarowski (u. a.)
Erscheinungsdatum: 15.09.2022
Gewicht: 0,736 kg
Artikel-ID: 120756008
Über den Autor
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.
Inhaltsverzeichnis
Preface; Introduction and Overview; Part I. Propositional Logic: 1. Propositional Logic Syntax; 2. Propositional Logic Semantics; 3. Logical Operators; 4. Proof by Deduction; 5. Working with Proofs; 6. The Tautology Theorem and the Completeness of Propositional Logic; Part II. Predicate Logic: 7. Predicate Logic Syntax and Semantics; 8. Getting Rid of Functions and Equality; 9. Deductive Proofs of Predicate Logic Formulas; 10. Working with Predicate Logic Proofs; 11. The Deduction Theorem and Prenex Normal Form; 12. The Completeness Theorem; 13. Sneak Peek at Mathematical Logic II: Godel's Incompleteness Theorem; Cheatsheet Axioms and Axiomatic Inference Rules Used in this Book; Notes; Index.
Details
Erscheinungsjahr: 2022
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781108845076
ISBN-10: 110884507X
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Gonczarowski, Yannai A.
Nisan, Noam
Hersteller: Cambridge University Press
Maße: 260 x 183 x 20 mm
Von/Mit: Yannai A. Gonczarowski (u. a.)
Erscheinungsdatum: 15.09.2022
Gewicht: 0,736 kg
Artikel-ID: 120756008
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781783984749 | Mastering SciPy | Francisco J Blanco-Silva | Taschenbuch | Paperback
Mastering SciPy
EAN: 9781783984749
Sprache: Englisch
Von/Mit: Francisco J Blanco-Silva

61,65 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781441973221 | Complex Analysis | In the Spirit of Lipman Bers | Rodríguez (u. a.)
Complex Analysis
In the Spirit of Lipman Bers
EAN: 9781441973221
Sprache: Englisch
Von/Mit: Rubí E. Rodríguez (u. a.)

90,94 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783540062363 | Mathematik für Biologen | K. P. Hadeler | Taschenbuch | Paperback
Mathematik für Biologen
EAN: 9783540062363
Sprache: Deutsch
Von/Mit: K. P. Hadeler

56,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783662555354 | Analysis - Grundlagen und Exkurse | Christian Weiß (u. a.) | Buch
Analysis ¿ Grundlagen und Exkurse
Mehrdimensionale Integralrechnung und ihre Anwendungen
EAN: 9783662555354
Sprache: Deutsch
Von/Mit: Christian Weiß (u. a.)

19,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9786202672863 | Superfunctions | Dmitrii Kouznetsov | Taschenbuch | Paperback | 2020
Superfunctions
Non-integer iterates of holomorphic functions. Tetration and other superfunctions. Formulas,algorithms,tables,graphics
EAN: 9786202672863
Sprache: Englisch
Von/Mit: Dmitrii Kouznetsov

46,30 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781636100357 | Python QuickStart Guide | Robert Oliver | Taschenbuch | Paperback
Python QuickStart Guide
The Simplified Beginner's Guide to Python Programming Using Hands-On Projects and Real-World Applications
EAN: 9781636100357
Sprache: Englisch
Von/Mit: Robert Oliver

37,25 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783141518719 | Mathematik 2. Schulbuch. Hessen | Ausgabe 2022 | Groth | Buch | 240 S.
Mathematik 2. Schulbuch. Hessen
Ausgabe 2022
EAN: 9783141518719
Sprache: Deutsch
Von/Mit: Doreen/Herling, Jochen/Kuhlmann, Karl-Heinz u a Groth
Maße: 265 x 196 x 14 mm

26,50 €*

Lieferzeit 1-2 Werktage

Buch
Neu
Cover: 9781493224814 | SAP Build | Rene Glavanovits (u. a.) | Buch | SAP Press Englisch
SAP Build
No-Code Development, Centralized Access, and Process Automation
EAN: 9781493224814
Sprache: Englisch
Von/Mit: Rene Glavanovits (u. a.)

78,70 €*

Erscheint am 04.10.24

Taschenbuch
Cover: 9781119585817 | Calculus | Single and Multivariable, EMEA Edition | Gleason (u. a.)
Calculus
Single and Multivariable, EMEA Edition
EAN: 9781119585817
Sprache: Englisch
Von/Mit: Andrew M. Gleason (u. a.)

76,85 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...