Mathematische Logik
Springer Basel (Verlag)
978-3-7643-9973-3 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.
I Prädikatenkalkül.- 1. Strukturen und Formeln.- 2. Semantik.- 3. Allgemeingültige Formeln.- 4. Der Gödelsche Vollständigkeitssatz.- 5. Der Sequenzenkalkül.- 6. Der Herbrandsche Satz und automatisches Beweisen.- II Mengenlehre.- 7. Die Axiome.- 8. Die natürlichen Zahlen.- 9. Ordinalzahlen und Kardinalzahlen.- 10. Metamathematik von ZFC.- III Rekursionstheorie.- 11. Registermaschinen.- 12. Primitiv rekursive Funktionen und Gödelisierung.- 13. Rekursiv aufzählbare Mengen.- 14. Gödelnummern von Formeln.- 15. Ein anderer Aufbau der rekursiven Funktionen.- IV Arithmetik.- 16. Definierbare Relationen.- 17. Das System Q.- 18. Peanoarithmetik.- 19. Der Zweite Gödelsche Unvollständigkeitssatz.- Literaturverzeichnis.- Index.
| Reihe/Serie | Mathematik Kompakt |
|---|---|
| Zusatzinfo | VIII, 116 S. |
| Verlagsort | Basel |
| Sprache | deutsch |
| Maße | 170 x 240 mm |
| Gewicht | 254 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Schlagworte | Berechenbarkeitstheorie • Beweis • Gödelsche Sätze • Mathematische Logik • Mengenlehre • Prädikatenkalkül • Sequenzenkalkül |
| ISBN-10 | 3-7643-9973-2 / 3764399732 |
| ISBN-13 | 978-3-7643-9973-3 / 9783764399733 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
