Einführung in die mathematische Logik
AvHeinz-Dieter Ebbinghaus,Jörg Flum
Häftad, Tyska, 2018
469 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Del 123
Numbers
Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing
Häftad, 1990
886 kr
Numbers
Reinhold Remmert, Alexander Prestel, Jurgen Neukirch, Klaus Mainzer, Max Koecher, Friedrich Hirzebruch, Hans Hermes, Heinz-Dieter Ebbinghaus, John H. Ewing
E-bok
20121 037 kr
Del 291
Del 291
Del 1141
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 291
Einführung in die mathematische Logik
Wolfgang Thomas, Jorg Flum, Heinz-Dieter Ebbinghaus
E-bok
2018479 kr
Del 291
Del 769
Automata, Languages and Programming
Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas
Häftad, 2009
1 106 kr