Zobacz książki o podobnej tematyce

Więcej informacji o First Order Mathematical Logic

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 33 punkty

Opis

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

Szczegóły książki

Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations

• Pełny tytuł: First Order Mathematical Logic
• Autor: Angelo Margaris
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 212
• EAN: 9780486662695
• ISBN: 0486662691
• ID: 02569639
• Wydawca: Dover Publications Inc.
• Waga: 242 g
• Wymiary: 217 × 137 × 11 mm
• Data wydania: 01. March 1990

Ulubione w innej kategorii

---

---

---