Dieses Produkt haben wir gerade leider nicht auf Lager.
ab 22,99 €
Derzeit nicht verfügbar
Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
12.09.2007
Sprache
Deutsch
EAN
9783827416919
Herausgeber
Spektrum Akademischer Verlag
Sonderedition
Nein
Autor
Heinz-Dieter Ebbinghaus
Seitenanzahl
339
Auflage
5
Einbandart
Taschenbuch
Schlagwörter
Logik, Prädikatenlogik, Mathematik
Thema-Inhalt
PB - Mathematik
Inhaltsverzeichnis
1 Einleitung
2 Syntax der Sprachen erster Stufe
3 Semantik der Sprachen erster Stufe
4 Ein Sequenzenkalkül
5 Der Vollständigkeitssatz
6 Löwenheim und Skolem und der Endlichkeitssatz
7 Zur Tragweite der ersten Stufe
8 Syntaktische Interpretationen und Normalformen
9 Erweiterungen der Logik erster Stufe
10 Grenzen der formalen Methode
11 Freie Modelle und Logik-Programmierung
12 Eine algebraische Charakterisierung der elementaren Äquivalenz
13 Die Sätze von Lindström
Lösungshinweise zu den Aufgaben
Literaturverzeichnis
Symbolverzeichnis
Sach- und Personenverzeichnis
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!