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.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
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 Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
