Einführung in die Mathematische Logik
Ein Lehrbuch
Logik für Mathematiker und Informatiker
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Einführung in die Mathematische Logik “
Logik für Mathematiker und Informatiker
Klappentext zu „Einführung in die Mathematische Logik “
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.
Inhaltsverzeichnis zu „Einführung in die Mathematische Logik “
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
Autoren-Porträt von Wolfgang Rautenberg
Professor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin.
Bibliographische Angaben
- Autor: Wolfgang Rautenberg
- 2008, 3., überarbeitete Aufl. 2008, 257 Seiten, Maße: 17 x 24,4 cm, Kartoniert (TB), Deutsch
- Verlag: Vieweg+Teubner
- ISBN-10: 3834805785
- ISBN-13: 9783834805782
- Erscheinungsdatum: 15.07.2008
Kommentar zu "Einführung in die Mathematische Logik"
0 Gebrauchte Artikel zu „Einführung in die Mathematische Logik“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Einführung in die Mathematische Logik".
Kommentar verfassen