Vor Ort
Merkzettel Warenkorb
Produktbild: Mathematical Logic through Python

Mathematical Logic through Python

36,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2022

Verlag

Cambridge Academic

Seitenzahl

284

Maße (L/B/H)

25,4/17,8/1,6 cm

Gewicht

610 g

Sprache

Englisch

ISBN

978-1-108-94947-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2022

Verlag

Cambridge Academic

Seitenzahl

284

Maße (L/B/H)

25,4/17,8/1,6 cm

Gewicht

610 g

Sprache

Englisch

ISBN

978-1-108-94947-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Logic through Python
  • 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.