Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Inhaltsangabe
1. Prolegomena.- 2. Einführung in die Satzlogik.- 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- 4. Aufgabe und Charakter einer mathematischen Logik.- 5. Grundlagen einer metasprachlichen Aussagentheorie.- 6. Zur Logik und Symbolik der Metasprache.- 7. Zeichen für Zeichen.- Erstes Hauptstück: Aussagenkalkül.- A) Konstituierung des Aussagenkalküls.- B) Semantik.- C) Deduktionstheoretische Betrachtungen.- Zweites Hauptstück: Prädikatenkalkül.- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Semantik und Syntax im PFK.- Drittes Hauptstück: Prädikatenkalkül mit Identität (I-Kalkül).- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Syntax und Syntax im IFK.- Viertes Hauptstück: Einführung in die Stufenlogik.- A) Die Logik der zweiten Stufe.- B) Die volle Typentheorie.- C) Erweiterungen der Typenlogik.- Fünftes Hauptstück: Die Theoreme von Church und Gödel.- 230. Einleitung: Unmöglichkeitstheoreme.- 231. Charakterisierung von arithmetischen Attributen im PFK*.- 232. Vorläufige Definition von 1D518. Das Diagonalverfahren.- 233. Die Arithmetisierung: Definition von H(m).- 234. Reguläre Definitionen zur Arithmetisierung.- 235. Die regulären Definitionen von echt regulären Attributen.- 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren.- 237. Die Unentscheidbarkeit des Prädikatenkalküls.- 238. Die Nichtaxiomatisierbarkeit der Stufenlogik.- Anhang: Regellogik.- 250. Einführung in die Regellogik.- 251. Der aussagenlogische Sequenzenkalkül (ASK).- 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK).- Namen- und Sachverzeichnis.
1. Prolegomena.- 2. Einführung in die Satzlogik.- 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- 4. Aufgabe und Charakter einer mathematischen Logik.- 5. Grundlagen einer metasprachlichen Aussagentheorie.- 6. Zur Logik und Symbolik der Metasprache.- 7. Zeichen für Zeichen.- Erstes Hauptstück: Aussagenkalkül.- A) Konstituierung des Aussagenkalküls.- B) Semantik.- C) Deduktionstheoretische Betrachtungen.- Zweites Hauptstück: Prädikatenkalkül.- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Semantik und Syntax im PFK.- Drittes Hauptstück: Prädikatenkalkül mit Identität (I-Kalkül).- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Syntax und Syntax im IFK.- Viertes Hauptstück: Einführung in die Stufenlogik.- A) Die Logik der zweiten Stufe.- B) Die volle Typentheorie.- C) Erweiterungen der Typenlogik.- Fünftes Hauptstück: Die Theoreme von Church und Gödel.- 230. Einleitung: Unmöglichkeitstheoreme.- 231. Charakterisierung von arithmetischen Attributen im PFK*.- 232. Vorläufige Definition von 1D518. Das Diagonalverfahren.- 233. Die Arithmetisierung: Definition von H(m).- 234. Reguläre Definitionen zur Arithmetisierung.- 235. Die regulären Definitionen von echt regulären Attributen.- 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren.- 237. Die Unentscheidbarkeit des Prädikatenkalküls.- 238. Die Nichtaxiomatisierbarkeit der Stufenlogik.- Anhang: Regellogik.- 250. Einführung in die Regellogik.- 251. Der aussagenlogische Sequenzenkalkül (ASK).- 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK).- Namen- und Sachverzeichnis.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309