Uitverkocht
Meer over het boek
Schlagwörter: Logik, Mathematische ; Prädikatenkalkül Inhalt: 1. Attribute und Quantifizierungsfunktionen 2. Ausdrücke einer elementaren Sprache 3. Interpretation der Ausdrücke einer elementaren Sprache 4. Reduktions- und Repräsentatentheoreme 5. Das logische Folgern 6. Ableitbarkeit und Beweisbarkeit 7. Grundlegende Gesetze der Prädikatenlogik 8. Die Axiomatisierungstheoreme für den Prädikatenkalkül der ersten Stufe 9. Prädikatenlogische Normalformeln 10. Der bestimmte Artikel 11. Elementare Theorien Anhang - Einiges aus der allgemeinen Mengenlehre
Uitgave
Een boek kopen
Einführung in die mathematische Logik II, Gu nter Asser
- Taal
- Jaar van publicatie
- 1972
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Taal
- Duits
- Auteurs
- Gu nter Asser
- Uitgever
- Deutsch
- Jaar van publicatie
- 1972
- Formaat
- Hardcover
- ISBN10
- 3871440116
- ISBN13
- 9783871440113
- Reeks
- Aantekening
- Schlagwörter: Logik, Mathematische ; Prädikatenkalkül Inhalt: 1. Attribute und Quantifizierungsfunktionen 2. Ausdrücke einer elementaren Sprache 3. Interpretation der Ausdrücke einer elementaren Sprache 4. Reduktions- und Repräsentatentheoreme 5. Das logische Folgern 6. Ableitbarkeit und Beweisbarkeit 7. Grundlegende Gesetze der Prädikatenlogik 8. Die Axiomatisierungstheoreme für den Prädikatenkalkül der ersten Stufe 9. Prädikatenlogische Normalformeln 10. Der bestimmte Artikel 11. Elementare Theorien Anhang - Einiges aus der allgemeinen Mengenlehre