Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische...
Taschenbuch von Wolfgang Stegmüller
Sprache: Deutsch

19,95 €*

inkl. MwSt.

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: Geisteswissenschaften, Kunst, Musik, 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
Inhalt: 143 S.
ISBN-13: 9783540122128
ISBN-10: 3540122125
Sprache: Deutsch
Einband: Kartoniert / Broschiert
Redaktion: Stegmüller, Wolfgang
Herausgeber: Wolfgang Stegmüller
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 9 mm
Von/Mit: Wolfgang Stegmüller
Erscheinungsdatum: 01.11.1983
Gewicht: 0,242 kg
Artikel-ID: 102062093
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: Geisteswissenschaften, Kunst, Musik, 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
Inhalt: 143 S.
ISBN-13: 9783540122128
ISBN-10: 3540122125
Sprache: Deutsch
Einband: Kartoniert / Broschiert
Redaktion: Stegmüller, Wolfgang
Herausgeber: Wolfgang Stegmüller
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 9 mm
Von/Mit: Wolfgang Stegmüller
Erscheinungsdatum: 01.11.1983
Gewicht: 0,242 kg
Artikel-ID: 102062093
Sicherheitshinweis