Mathematical Logic Through Python
(Sprache: Englisch)
This textbook offers a detailed and self-contained presentation of quantum field theory, suitable for advanced undergraduate and graduate level courses. The author provides full derivations wherever possible and adopts a pedagogical tone without sacrificing...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
30.90 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Mathematical Logic Through Python “
Klappentext zu „Mathematical Logic Through Python “
This textbook offers a detailed and self-contained presentation of quantum field theory, suitable for advanced undergraduate and graduate level courses. The author provides full derivations wherever possible and adopts a pedagogical tone without sacrificing rigour. A fully worked solutions manual is available online for instructors.
Inhaltsverzeichnis zu „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.
Autoren-Porträt von Yannai A. Gonczarowski, Noam Nisan
Harvard University, Massachusetts
Bibliographische Angaben
- Autoren: Yannai A. Gonczarowski , Noam Nisan
- 2022, 250 Seiten, Maße: 18,1 x 25,5 cm, Kartoniert (TB), Englisch
- Verlag: CAMBRIDGE
- ISBN-10: 1108949479
- ISBN-13: 9781108949477
- Erscheinungsdatum: 15.09.2022
Sprache:
Englisch
Kommentar zu "Mathematical Logic Through Python"
Schreiben Sie einen Kommentar zu "Mathematical Logic Through Python".
Kommentar verfassen