Del 106 i serien Grundlehren der mathematischen Wissenschaften

Grundzüge der Mathematischen Logik

Häftad, Tyska, 2012

AvHeinrich Scholz,Gisbert Hasenjaeger

1 009 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2012-02-12
Mått152 x 229 x 29 mm
Vikt750 g
FormatHäftad
SpråkTyska
SerieGrundlehren der mathematischen Wissenschaften
Antal sidor504
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642948152

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

§ 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

579 kr

Glaube Und Unglaube In Der Weltgeschichte

Heinrich Scholz

Häftad, 2022

389 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Inbunden, 2023

469 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Inbunden, 2023

469 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Häftad, 2023

269 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Häftad, 2023

239 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Inbunden, 2025

529 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Häftad, 2025

379 kr

Del 5

Die Religionsphilosophie Des Herbert Von Cherbury

Edward Herbert Von Cherbury, Heinrich Scholz

Inbunden, 1914

2 089 kr

Religionsphilosophie

Heinrich Scholz

Inbunden, 2022

529 kr

Mer från samma serie

Del 291

Classical Groups and K-Theory

Alexander J. Hahn, O.Timothy O'Meara

Inbunden, 1989

2 149 kr

Del 291

Classical Groups and K-Theory

Alexander J. Hahn, O.Timothy O'Meara

Häftad, 2010

1 579 kr

Del 290

Sphere Packings, Lattices and Groups

John Conway, Neil J. A. Sloane

Inbunden, 1998

1 289 kr

Markov Processes, Brownian Motion, and Time Symmetry

Kai Lai Chung, John B. Walsh

Inbunden, 2005

1 719 kr

Del 244

Modular Units

D. Kubert, S. Lang

Inbunden, 1981

2 859 kr

Del 252

Nonlinear Analysis on Manifolds. Monge-Ampère Equations

Thierry Aubin

Inbunden, 1982

2 139 kr

Del 255

Complex Multiplication

S. Lang

Inbunden, 1983

1 859 kr

Del 259

Univalent Functions

P. L. Duren

Inbunden, 2001

1 719 kr

Del 267

Geometry of Algebraic Curves

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

Inbunden, 1984

1 429 kr

Del 115

Abstract Harmonic Analysis

Edwin Hewitt, Kenneth A. Ross

Häftad, 1994

1 719 kr

Du kanske också är intresserad av

Religionsphilosophie

Heinrich Scholz

Häftad, 2022

379 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Inbunden, 2025

529 kr

Religionsphilosophie, zweite Ausgabe

Heinrich Scholz

Häftad, 2025

379 kr

Religionsphilosophie

Heinrich Scholz

Inbunden, 2022

529 kr

Del 5

Die Religionsphilosophie Des Herbert Von Cherbury

Edward Herbert Von Cherbury, Heinrich Scholz

Inbunden, 1914

2 089 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Häftad, 2023

269 kr

Schleiermachers Kurze Darstellung des theologischen Studiums Volume; Volume 10

Heinrich Scholz

Inbunden, 2023

469 kr

Glaube Und Unglaube In Der Weltgeschichte

Heinrich Scholz

Häftad, 2022

389 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Häftad, 2023

239 kr

Berthes' Schriften zum Weltkrieg. Siebentes Heft.

Heinrich Scholz

Inbunden, 2023

469 kr

Del 106 i serien Grundlehren der mathematischen Wissenschaften

Grundzüge der Mathematischen Logik

Häftad, Tyska, 2012

AvHeinrich Scholz,Gisbert Hasenjaeger

1 009 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2012-02-12
Mått152 x 229 x 29 mm
Vikt750 g
FormatHäftad
SpråkTyska
SerieGrundlehren der mathematischen Wissenschaften
Antal sidor504
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642948152

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

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