Mohlo by se vám také líbit

Více informací o knize First Order Mathematical Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 37 bodů

Anotace knihy

1. Introduction 1. Rules of Inference 2. Set Theory 3. Axiomatic Theories 4. Predicates and Quantifiers 5. Statement Connectives 6. The Interpretation of Predicates and Quantifiers 7. The Predicate Calculus and First Order Theories 8. The Omission of Parentheses 9. Substitution of a Term for a Variable 10. Removing and Inserting Quantifiers 11. Denials 2. The Predicate Calculus 12. Formulation 13. The Statement Calculus 14. The Deudction Theorem 15. The Completeness Theorem for the Statement Calculus 16. Applications of the Completeness Theorem for the Statement Calculus 17. Quantifiers 18. Equivalence and Replacement 19. Theorem Schemes 20. Normal Forms 21. Equality 3. First Order Theories 22. Definition and Examples 23. Deduction 24. Number Theory 25. Consistency and Completeness 26. Truth 27. The Completeness Theorem 28. Independence 29. Completeness and Categoricity 30. Decidability 31. Gödel's Theorem Notes; References; Addendum; Index of Symbols; Subject Index

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: First Order Mathematical Logic
• Autor: Angelo Margaris
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 212
• EAN: 9780486662695
• ISBN: 0486662691
• ID: 02569639
• Nakladatelství: Dover Publications Inc.
• Hmotnost: 242 g
• Rozměry: 217 × 137 × 11 mm
• Datum vydání: 01. March 1990

Oblíbené z jiného soudku

---

---

---