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,80 €*

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: 9780387945712 | Essential AutoLISP® | With a Quick Reference Card and a Diskette
Essential AutoLISP®
With a Quick Reference Card and a Diskette
EAN: 9780387945712
Sprache: Englisch
Von/Mit: Roy Harkow

112,34 €*

Aktuell nicht verfügbar

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

61,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783319167176 | The Functional Analysis of Quantum Information Theory | Gupta (u. a.)
The Functional Analysis of Quantum Information Theory
A Collection of Notes Based on Lectures by Gilles Pisier, K. R. Parthasarathy, Vern Paulsen and Andreas Winter
EAN: 9783319167176
Sprache: Englisch
Von/Mit: Ved Prakash Gupta (u. a.)

48,14 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781441928351 | A Logical Approach to Discrete Math | Fred B. Schneider (u. a.) | Buch
A Logical Approach to Discrete Math
EAN: 9781441928351
Sprache: Englisch
Von/Mit: Fred B. Schneider (u. a.)

53,49 €*

Aktuell nicht verfügbar

Buch
Cover: 9783030154516 | Cryptology and Error Correction | Lindsay N. Childs | Buch | Englisch
Cryptology and Error Correction
An Algebraic Introduction and Real-World Applications
EAN: 9783030154516
Sprache: Englisch
Von/Mit: Lindsay N. Childs

55,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484274248 | Innovative SAP SuccessFactors Recruiting | Athanur (u. a.) | Buch
Innovative SAP SuccessFactors Recruiting
A Guide to Creating Custom Integration and Automation
EAN: 9781484274248
Sprache: Englisch
Von/Mit: Anand ¿Andy¿ Athanur (u. a.)

48,14 €*

Aktuell nicht verfügbar

Buch
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,90 €*

Lieferzeit 1-2 Werktage

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.)

77,10 €*

Lieferzeit 1-2 Wochen

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