Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, cartea 3 / B
Editat de Wolfgang Stegmüllerde Limba Germană Paperback – noi 1983
Din seria Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
- Preț: 372.93 lei
- Preț: 291.53 lei
- Preț: 205.00 lei
- Preț: 205.74 lei
- Preț: 265.21 lei
- Preț: 253.80 lei
- Preț: 201.83 lei
- Preț: 463.31 lei
- Preț: 203.68 lei
- Preț: 466.13 lei
- Preț: 204.62 lei
- Preț: 315.77 lei
- 15% Preț: 691.96 lei
- Preț: 172.37 lei
- Preț: 136.32 lei
- Preț: 127.44 lei
- Preț: 171.27 lei
- Preț: 171.84 lei
- Preț: 203.15 lei
- Preț: 205.58 lei
- Preț: 202.94 lei
- Preț: 271.87 lei
- Preț: 202.89 lei
- Preț: 312.96 lei
- Preț: 168.09 lei
- Preț: 204.47 lei
- Preț: 170.70 lei
- 18% Preț: 989.13 lei
Preț: 202.50 lei
Nou
Puncte Express: 304
Preț estimativ în valută:
38.75€ • 40.64$ • 32.31£
38.75€ • 40.64$ • 32.31£
Carte tipărită la comandă
Livrare economică 07-21 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540122128
ISBN-10: 3540122125
Pagini: 152
Ilustrații: 143 S.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.23 kg
Ediția:1984
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Strukturtypen der Logik
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540122125
Pagini: 152
Ilustrații: 143 S.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.23 kg
Ediția:1984
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Strukturtypen der Logik
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.