Band I: Aussagen- und Prädikatenlogik

Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Über-Set-zung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klas-si-sche Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Aus-führ-lichkeit und Praxisnähe bei weitem. Den Text zeichnen u.a. die fol-gen-den Punkte aus:

Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprach-wis-senschaft, Mathematik und Informatik auf.
Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qua–lität sich oftmals unter Beweis gestellt hat.
Der vorgestellte Kalkül des natürlichen Schliessens ist praxisnah und ver-ständ–lich. Er wird auf-bauend auf informelle Argumentationsmuster eingeführt, die den Stu–dierenden im-pli-zit bereits vertraut sind.
Begleitend zum Text gibt es eine umfangreiche Software-Unterstützung, die sehr zur Ver-an-schaulichung des Stoffes beiträgt. Studierende können so selb-ständig mit den Be-weis–tech-niken experimentieren und erhalten unmittelbares Feed-back für viele Übungen.

“It’s as if the tea-ching of logic moved from black-and-white to Technicolor”.
(Tom Burke, University of South Carolina)

• Teile dieses Buch auf:
• twitter
• facebook