Einführung in die Mathematische Logik
Ein Lehrbuch
Seiten
2002
|
2., verb. u. erw. Aufl.
Springer Fachmedien Wiesbaden (Verlag)
978-3-528-16754-7 (ISBN)
Springer Fachmedien Wiesbaden (Verlag)
978-3-528-16754-7 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
Aussagenlogik - Prädikatenlogik - Syntax und Semantik - Der Gödelsche Vollständigkeitssatz - Nichtstandardmodelle - Logikprogammierung - Resolution und Unifikation - Elemente der Modelltheorie - Ehrenfeucht-Spiele und Ultraprodukte - Entscheidbarkeit, Unentscheidbarkeit und Unvollständigkeit - Lösungshinweise zu den Übungen
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
| Sprache | deutsch |
|---|---|
| Maße | 170 x 240 mm |
| Gewicht | 472 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| Schlagworte | Aussagelogik • HC/Mathematik/Grundlagen • Logik • Logikprogrammierung • Mathematische Logik • Modelltheorie • Prädikatenlogik • Unvollständigkeitssatz |
| ISBN-10 | 3-528-16754-8 / 3528167548 |
| ISBN-13 | 978-3-528-16754-7 / 9783528167547 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
An Introduction to Mathematical Proofs
Buch | Softcover (2023)
Academic Press Inc (Verlag)
57,30 €
