Heinz-Dieter Ebbinghaus: Einführung in die mathematische Logik
Einführung in die mathematische Logik
Buch
- Springer Berlin, 10/2018
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Deutsch
- ISBN-13: 9783662580288
- Bestellnummer: 8718968
- Umfang: 380 Seiten
- Nummer der Auflage: 18006
- Auflage: 6., überarbeitete und erweiterte Aufl. 2018
- Gewicht: 530 g
- Maße: 211 x 148 mm
- Stärke: 25 mm
- Erscheinungstermin: 15.10.2018
Klappentext
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen?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.
Für die vorliegende 6. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.
Biografie (Heinz-Dieter Ebbinghaus)
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.Anmerkungen:
Bitte beachten Sie, dass auch wir der Preisbindung unterliegen und kurzfristige Preiserhöhungen oder -senkungen an Sie weitergeben müssen.