Grenzen der Mathematik
777 Kč 805 Kč
Sleva až 70% u třetiny knih
Vorwort.-
1 Historische Notizen.- 1.1 Wahrheit und Beweisbarkeit.- 1.2 Der Weg zur modernen Mathematik.- 1.3 Übungsaufgaben.- 2 Formale Systeme.- 2.1 Definition und Eigenschaften.- 2.2 Entscheidungsverfahren.- 2.3 Aussagenlogik.- 2.4 Prädikatenlogik erster Stufe.- 2.5 Prädikatenlogik mit Gleichheit.- 2.6 Prädikatenlogik höherer Stufe.- 2.7 Übungsaufgaben.- 3 Fundamente der Mathematik.- 3.1 Peano-Arithmetik.- 3.2 Axiomatische Mengenlehre.- 3.3 Übungsaufgaben.- 4 Beweistheorie.- 4.1 Gödel'sche Unvollständigkeitssätze.- 4.2 Der erste Unvollständigkeitssatz.- 4.3 Der zweite Unvollständigkeitssatz.- 4.4 Gödels Sätze richtig verstehen.- 4.5 Der Satz von Goodstein.- 4.6 Übungsaufgaben.- 5 Berechenbarkeitstheorie.- 5.1 Berechnungsmodelle.- 5.2 Die Church'sche These.- 5.3 Grenzen der Berechenbarkeit.- 5.4 Folgen für die Mathematik.- 5.5 Übungsaufgaben.- 6 Algorithmische Informationstheorie.- 6.1 Algorithmische Komplexität.- 6.2 Die Chaitin'sche Konstante.- 6.3 Unvollständigkeit formaler Systeme.- 6.4 Übungsaufgaben.- 7 Modelltheorie.- 7.1 Meta-Resultate zur Prädikatenlogik.- 7.2 Nichtstandardmodelle von PA.- 7.3 Skolem-Paradoxon.- 7.4 Boole'sche Modelle.- 7.5 Übungsaufgaben.- Literaturverzeichnis.- Bildnachweis.- Namensverzeichnis.- Sachwortverzeichnis.
Autor: | Hoffmann, Dirk W. |
Nakladatel: | Springer, Berlin |
Rok vydání: | 2018 |
Jazyk : | Němčina |
Vazba: | Paperback / softback |
Počet stran: | 441 |
Mohlo by se vám také líbit..
-
Monte Carlo Methods in Financial Engi...
Glasserman, Paul
-
Didaktik der Geometrie
Franke, Marianne
-
Unterrichtsentwürfe Mathematik Sekund...
Geldermann, Christian
-
6000 Jahre Mathematik. Bd.2
Wußing, Hans
-
Einführung in die Festigkeitslehre
Läpple, Volker
-
Didaktik der Stochastik in der Sekund...
Krüger, Katja
-
Medienvielfalt im Mathematikunterricht
Roth, Jürgen
-
Die Welt der Primzahlen
Ribenboim, Paulo
-
Dreisatz, Prozente und Zinsen
Rießinger, Thomas
-
Erlebnis Algebra
Leuders, Timo
-
Analysis. Bd.1
Walter, Wolfgang
-
Mit Heterogenität im Mathematikunterr...
Leuders, Juliane
-
Übungsbuch zur Analysis. Bd.1
Forster, Otto
-
Elementargeometrie
Agricola, Ilka
-
Analysis. Tl.3
Forster, Otto
-
Analysis 2
Forster, Otto