Épuisé

Einführung in die mathematische Logik II

Auteurs

Gu nter Asser

Paramètres

En savoir plus sur le livre

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

Édition

1972

Achat du livre

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

Langue
Année de publication: 1972
product-detail.submit-box.info.binding: (rigide)

Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Détails de l'éditionSuggérer une correction

Titre: Einführung in die mathematische Logik II
Langue: Allemand
Auteurs: Gu nter Asser
Éditeur: Deutsch
Publié: 1972
Format: rigide
ISBN10: 3871440116
ISBN13: 9783871440113
Séries
Mots clés: Nonfiction, Manuels, Autres manuels scolaires, Manuels de mathématiques
Description: 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