Einführung in die mathematische Logik
Spektrum Akademischer Verlag
978-3-8274-1691-9 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben: Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe.
Die Lektüre setzt - außer einer gewissen Vertrautheit mit der mathematischen Denkweise - keine spezifischen Kenntnisse voraus.
In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.
Prof. Dr. H.-D. Ebbinghaus ist Leiter des Instituts für Mathematische Logik an der Universität Freiburg. Durch Veröffentlichungen hat der Autor einen hohen Bekanntheitsgrad in der Hochschulmathematik.
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
| Erscheint lt. Verlag | 18.9.2007 |
|---|---|
| Reihe/Serie | HochschulTaschenbuch |
| Zusatzinfo | IX, 339 S. |
| Verlagsort | Heidelberg |
| Sprache | deutsch |
| Maße | 148 x 210 mm |
| Gewicht | 454 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Schlagworte | Hardcover, Softcover / Mathematik/Allgemeines, Lexika • HC/Mathematik/Allgemeines, Lexika • Logik • Mathematik • Mathematische Logik • Prädikatenlogik |
| ISBN-10 | 3-8274-1691-4 / 3827416914 |
| ISBN-13 | 978-3-8274-1691-9 / 9783827416919 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
