Grundzüge der Mathematischen Logik

AvHeinrich Scholz,Gisbert Hasenjaeger

Häftad, Tyska, 2012

Del 106 i serien Grundlehren der mathematischen Wissenschaften

776 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2012-02-12
Mått:152 x 229 x 29 mm
Vikt:750 g
Format:Häftad
Språk:Tyska
Serie:Grundlehren der mathematischen Wissenschaften
Antal sidor:504
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642948152

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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

Mer från samma författare

Glaube Und Unglaube In Der Weltgeschichte

Heinrich Scholz

Inbunden, 2022

449 kr

Glaube Und Unglaube In Der Weltgeschichte

Heinrich Scholz

Häftad, 2022

302 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Inbunden, 2023

363 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Inbunden, 2023

359 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Häftad, 2023

209 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Häftad, 2023

187 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Inbunden, 2025

405 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Häftad, 2025

293 kr

Del 5

Die Religionsphilosophie Des Herbert Von Cherbury

Edward Herbert Von Cherbury, Heinrich Scholz

Inbunden, 1914

1 609 kr

Grundzüge der Mathematischen Logik

Gisbert Hasenjaeger, Heinrich Scholz

E-bok

2013

766 kr

Mer från samma serie

Del 364

Finite Groups I

Bertram Huppert

Inbunden, 2025

2 422 kr

Percolation

Geoffrey R. Grimmett

Inbunden, 1999

1 434 kr

Del 57

Theoretische Mechanik

Georg Hamel

Häftad, 2013

1 443 kr

Moderne Algebra

Bartel Eckmann L. Van der van der Waerden, Emil Artin, Emmy Noether

Häftad, 1937

622 kr

Markov Processes, Brownian Motion, and Time Symmetry

Kai Lai Chung, John B. Walsh

Inbunden, 2005

1 324 kr

Del 244

Modular Units

D. Kubert, S. Lang

Inbunden, 1981

2 202 kr

Del 252

Nonlinear Analysis on Manifolds. Monge-Ampère Equations

Thierry Aubin

Inbunden, 1982

1 653 kr

Del 255

Complex Multiplication

S. Lang

Inbunden, 1983

1 434 kr

Del 259

Univalent Functions

P. L. Duren

Inbunden, 2001

1 324 kr

Del 267

Geometry of Algebraic Curves

Enrico Arbarello, Maurizio Cornalba, Phillip Griffiths, Joseph Daniel Harris

Inbunden, 1984

1 105 kr

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Grundzüge der Mathematischen Logik

Gisbert Hasenjaeger, Heinrich Scholz

E-bok

2013

766 kr

Religionsphilosophie

Heinrich Scholz

Häftad, 2022

293 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Inbunden, 2025

405 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Häftad, 2025

293 kr

Religionsphilosophie

Heinrich Scholz

Inbunden, 2022

405 kr

Del 5

Die Religionsphilosophie Des Herbert Von Cherbury

Edward Herbert Von Cherbury, Heinrich Scholz

Inbunden, 1914

1 609 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Inbunden, 2023

363 kr

Glaube Und Unglaube In Der Weltgeschichte

Heinrich Scholz

Häftad, 2022

302 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Häftad, 2023

187 kr

Grundzüge der Mathematischen Logik

AvHeinrich Scholz,Gisbert Hasenjaeger

Häftad, Tyska, 2012

Del 106 i serien Grundlehren der mathematischen Wissenschaften

776 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2012-02-12
Mått:152 x 229 x 29 mm
Vikt:750 g
Format:Häftad
Språk:Tyska
Serie:Grundlehren der mathematischen Wissenschaften
Antal sidor:504
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642948152

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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