Einführung in die mathematische Logik
39,99 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9783662580288
Veröffentl:
2018
Einband:
Paperback
Erscheinungsdatum:
15.10.2018
Seiten:
380
Autor:
Heinz-Dieter Ebbinghaus
Gewicht:
491 g
Format:
210x148x21 mm
Sprache:
Deutsch
Beschreibung:
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen?
DIE fundierte deutschsprachige Einführung in die mathematische Logik
Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkül.- Der Vollständigkeitssatz.- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische Interpretationen und Normalformen.- Erweiterungen der Logik erster Stufe.- Berechenbarkeit und ihre Grenzen.- Freie Modelle und Logik-Programmierung.- Eine algebraische Charakterisierung der elementaren Äquivalenz.- Die Sätze von Lindström.- Lösungshinweise zu den Aufgaben.- Literaturverzeichnis.- Symbolverzeichnis.- Sach- und Personenverzeichnis.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
