Normalformen. Identität und Kennzeichnung....

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

19,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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
Seiten:	152
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
Auflage:	1984
Hersteller:	Springer Berlin 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

preigu-id: 102062093

Zusammenfassung

Studienausg.

Inhaltsverzeichnis

Details

Erscheinungsjahr:	1983
Genre:	Philosophie
Rubrik:	Geisteswissenschaften
Medium:	Taschenbuch
Seiten:	152
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
Auflage:	1984
Hersteller:	Springer Berlin 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