Einführung in die mathematische Logik

null

44,99 €

inkl. MwSt. und Versand · Lieferzeit 1–2 Werktage

Gesetzliche Gewährleistung: 2 Jahre · Details

Nur noch 3 verfügbar

Beschreibung

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? <div>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.</div><div>Die Lektüre setzt - außer einer gewissen Vertrautheit mit der mathematischen Denkweise - keine spezifischen Kenntnisse voraus.</div><div><div>Für die vorliegende 6. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.</div></div>

Artikeldetails

EAN

9783662580288

Sprache

Deutsch

Einband / Art

Taschenbuch

Maße

210 x 148 x 21 mm

Erscheinungsjahr

2018

Verlag / Hersteller

Springer Berlin Heidelberg