Mathematische Logik
- Artikel-Nr.: 10342310
Beschreibung
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.
Eigenschaften
Breite: | 168 |
Gewicht: | 306 g |
Höhe: | 240 |
Länge: | 238 |
Seiten: | 152 |
Sprachen: | Deutsch |
Autor: | Martin Ziegler |
Veröffentlichung: | 2016-10-19 |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen