Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
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...
číst celé
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.
schovat popis
- Nakladatel: Springer, Berlin
- Kód:
- Rok vydání: 2018
- Jazyk: Němčina
- Vazba: Brožovaná
- Počet stran: 367
- Šířka balení: 14.7 cm
- Výška balení: 21.2 cm
- Hloubka balení: 1.7 cm
- Váha balení: 491 g
Recenze