Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
⚡Nur noch heute: 10% Rabatt & rechtzeitig zu Weihnachten! Bestellen Sie sofort versandbereite Artikel
Jetzt profitieren

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Beschreibung

Inhalt 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 Kennzeichnung...

Format auswählen

Kartonierter Einband
CHF24.70
E-Book (pdf)
CHF20.90
TIEFPREIS
CHF24.70
Print on Demand - Exemplar wird für Sie besorgt. 
Kostenlose Lieferung 
10% auf sofort versandbereite Artikel

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt

  1. 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.

Produktinformationen

Titel:
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Untertitel:
Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie III
Schöpfer:
Matthias Varga von Kibéd
Editor:
Wolfgang Stegmüller
EAN:
9783540122128
ISBN:
978-3-540-12212-8
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Sonstige Philosophie-Bücher
Veröffentlichung:
01.11.1983
Anzahl Seiten:
143
Gewicht:
242g
Größe:
H235mm x B155mm x T9mm
Jahr:
1983
Untertitel:
Deutsch
Auflage:
1984
Lesemotiv:
Verstehen

Tags

#Berechenbarkeit, #Beweis, #Funktionen, #Kompaktheitssatz, #Konjunktive Normalform, #Lehrsatz, #Logik, #Löwenheim-Skolem-Theorem, #Mengen, #Prädikate, #Quantoren, #Randelementmethode, #Rekursive Funktionen, #Sopera, #Typen

Mehr entdecken: Philosophie

Östliche Philosophie, Philosophie der Antike, Philosophie der Renaissance, Philosophie des Mittelalters, Philosophie-Lexika, Sonstige Philosophie-Bücher, 19. Jahrhundert, 20. & 21. Jahrhundert