Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Deutsch
19,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
Kategorien:
Beschreibung
Noch keine Beschreibung vorhanden. Sollten Sie Fragen zu dem Artikel haben, helfen wir Ihnen gerne weiter.
Zusammenfassung
Studienausg.
Inhaltsverzeichnis
6. Normalformen.- 6.1 Dualform.- 6.2 Adjunktive und konjunktive Normalform.- 6.3 Pränexe Normalform.- 6.4 Skolem-Normalform.- 6.5 Distributive Normalform ("Hintikka-Normalform").- 7. Identität.- 7.1 i-Semantik.- 7.2 Anzahlquantoren.- 7.3 Der Kennzeichnungsoperator.- 8. Theorien.- 8.1 Entscheidbarkeit und Aufzählbarkeit.- 8.2 Theorien erster Stufe.- 8.3 Definitorische Theorieerweiterung.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.
Details
| Erscheinungsjahr: | 1983 |
|---|---|
| Genre: | Philosophie |
| Rubrik: | Geisteswissenschaften |
| Medium: | Taschenbuch |
| Titel: | Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit |
| Reihe: | Strukturtypen der Logik |
| Inhalt: | 143 S. |
| ISBN-13: | 9783540122128 |
| ISBN-10: | 3540122125 |
| Sprache: | Deutsch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Redaktion: | Stegmüller, Wolfgang |
| Herausgeber: | Wolfgang Stegmüller |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Strukturtypen der Logik |
| Maße: | 235 x 155 x 9 mm |
| Von/Mit: | Wolfgang Stegmüller |
| Erscheinungsdatum: | 01.11.1983 |
| Gewicht: | 0,242 kg |
Zusammenfassung
Studienausg.
Inhaltsverzeichnis
6. Normalformen.- 6.1 Dualform.- 6.2 Adjunktive und konjunktive Normalform.- 6.3 Pränexe Normalform.- 6.4 Skolem-Normalform.- 6.5 Distributive Normalform ("Hintikka-Normalform").- 7. Identität.- 7.1 i-Semantik.- 7.2 Anzahlquantoren.- 7.3 Der Kennzeichnungsoperator.- 8. Theorien.- 8.1 Entscheidbarkeit und Aufzählbarkeit.- 8.2 Theorien erster Stufe.- 8.3 Definitorische Theorieerweiterung.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.
Details
| Erscheinungsjahr: | 1983 |
|---|---|
| Genre: | Philosophie |
| Rubrik: | Geisteswissenschaften |
| Medium: | Taschenbuch |
| Titel: | Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit |
| Reihe: | Strukturtypen der Logik |
| Inhalt: | 143 S. |
| ISBN-13: | 9783540122128 |
| ISBN-10: | 3540122125 |
| Sprache: | Deutsch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Redaktion: | Stegmüller, Wolfgang |
| Herausgeber: | Wolfgang Stegmüller |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Strukturtypen der Logik |
| Maße: | 235 x 155 x 9 mm |
| Von/Mit: | Wolfgang Stegmüller |
| Erscheinungsdatum: | 01.11.1983 |
| Gewicht: | 0,242 kg |
Warnhinweis
Ähnliche Produkte
Taschenbuch
Lieferzeit 4-7 Werktage
Taschenbuch
