Esaurito

Einführung in die mathematische Logik II

Autori

Gu nter Asser

Parametri

Maggiori informazioni sul libro

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

Pubblicazione

1972

Acquisto del libro

Einführung in die mathematische Logik II, Gu nter Asser

Lingua
Pubblicato: 1972
product-detail.submit-box.info.binding: (Copertina rigida)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione

Titolo: Einführung in die mathematische Logik II
Lingua: Tedesco
Autori: Gu nter Asser
Editore: Deutsch
Pubblicato: 1972
Formato: Copertina rigida
ISBN10: 3871440116
ISBN13: 9783871440113
Serie
Tag: Saggistica, Libri di testo, Altri libri di testo, Libri di testo di matematica
Descrizione: 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