Mohlo by sa vám tiež páčiť

Viac informácií o knihe First Order Mathematical Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 33 bodov

Anotácia 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

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: First Order Mathematical Logic
• Autor: Angelo Margaris
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 212
• EAN: 9780486662695
• ISBN: 0486662691
• ID: 02569639
• Nakladateľ: Dover Publications Inc.
• Hmotnosť: 242 g
• Rozmery: 217 × 137 × 11 mm
• Dátum vydania: 01. March 1990

Obľúbené z iného súdka

---

---

---