Artikelnummer | 9783897854406 |
---|---|
Produkttyp | Buch |
Preis | 54,50 CHF |
Verfügbarkeit | Lieferbar |
Einband | Kartonierter Einband (Kt) |
Meldetext | Libri-Titel folgt in ca. 2 Arbeitstagen |
Autor | Barwise, John / Etchemendy, John / Bromand, Joachim / Müller, Thomas / Sommaruga, Giovanni |
Verlag | Mentis Verlag GmbH |
Weight | 0,0 |
Erscheinungsjahr | 200509 |
Seitenangabe | 401 |
Sprache | ger |
Anzahl der Bewertungen | 0 |
Sprache, Beweis und Logik. Band I Buchkatalog
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)
54,50 CHF
Lieferbar
Dieser Artikel hat noch keine Bewertungen.