EAN: 9783110697148

STUDIUM LOGIK - GERHARD SCHURZ KARTONIERT (TB)

Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei
geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und
elementaren Prädikatenlogik ein  eingebettet in die allgemeine Theorie des rationalen
Schließens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion
natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen
logischen Notationen und Techniken werden sorgfältig erklärt. Der anschließende Aufbaukurs
schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen
Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik
und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur
Korrektheit und Vollständigkeit der Prädikatenlogik  Unentscheidbarkeit der Prädikatenlogik und
Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird
der Band durch vertiefende Exkurse und zahlreiche Übungen mit Lösungen zum Download. Die 2.
revidierte Auflage wurde inhaltlich und didaktisch gründlich überarbeitet.

Aktuelle Preise zur EAN 9783110697148

Produktinformationen zur 9783110697148