Ausverkauft, aber heiß begehrt!

Liegt es in deinem Regal?Verdiene zwischen € 0 und € 0,21 beim Verkauf dieses Buches.

Einführung in die mathematische Logik II

Autor*innen

Gu nter Asser

Parameter

Mehr zum Buch

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

Publikation

1972

Buchkauf

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

Sprache
Erscheinungsdatum: 1972
product-detail.submit-box.info.binding: (Hardcover)

Wir benachrichtigen dich per E-Mail.

Lieferung

Gratis Versand ab 16,99 € in ganz Österreich! Mehr Infos.

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Ausgabe-DetailsFeedback senden

Titel: Einführung in die mathematische Logik II
Sprache: Deutsch
Autor*innen: Gu nter Asser
Verlag: Deutsch
Erscheinungsdatum: 1972
Einband: Hardcover
ISBN10: 3871440116
ISBN13: 9783871440113
Reihe
Schlagwörter: Sachbücher, Lehrbücher, Sonstige Lehrbücher, Mathematik-Lehrbücher
Beschreibung: 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