Beweis, Sprache, Logik

Aus der Buchbeschreibung: 

Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Übersetzung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klassische Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Ausführlichkeit und Praxisnähe bei weitem. Den Text zeichnen u.a. die folgenden Punkte aus:

• Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf.
• Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat.
• Der vorgestellte Kalkül des natürlichen Schließens ist praxisnah und verständlich. Er wird aufbauend auf informelle Argumentationsmuster eingeführt, die den Studierenden implizit bereits vertraut sind.
• Begleitend zum Text gibt es eine umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen.

Das vollständige Buch:

• auf englisch
• Glossar mit deutschen Übersetzungen.

Die Software läuft unter Linux, Mac und Windows. Die Linux-Version ist leider nicht auf der CD vorhanden, kann aber hier heruntergeladen werden. Vorher muss man sich allerdings mit dem Programm submit registrieren (dazu das Programm im FB3-Netz aufrunfen, s.u.).

Dokumentation der Software.