Einführung in die mathematische Logik

Häftad, Tyska, 2018

Av Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas, Jorg Flum

589 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. im Mittelpunkt steht dabei die Logik erster Stufe. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.

Produktinformation

Utgivningsdatum2018-10-15
Mått148 x 210 x 21 mm
Vikt491 g
FormatHäftad
SpråkTyska
Antal sidor367
Upplaga6
FörlagSpringer Fachmedien Wiesbaden
ISBN9783662580288

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

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.