EAN: 9783897854406

SPRACHE BEWEIS UND LOGIK BD1 AUSSAGEN- UND PRÄD...

Band I: Aussagen- und PrädikatenlogikMit 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 Schliessens 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. Studierendekönnen
so selbständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für
viele Übungen.It's as if the teaching of logic moved from black-and-white to Technicolor. - Tom
Burke  University of South Carolina

Aktuelle Preise zur EAN 9783897854406

Produktinformationen zur 9783897854406