Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

BARWISE, Jon, John ECHTEMENDY, BROMAND, Joachim, ed., Thomas MÜLLER, ed., Giovanni SOMMARUGA, ed., 2005. Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik. Paderborn : mentis. ISBN 3-89785-440-6

@book{Barwise2005Sprac-27155, isbn={3-89785-440-6}, publisher={Paderborn : mentis}, title={Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik}, year={2005}, editor={Bromand, Joachim and Müller, Thomas and Sommaruga, Giovanni}, author={Barwise, Jon and Echtemendy, John}, note={Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga} }

Echtemendy, John Echtemendy, John 2005 Sommaruga, Giovanni Barwise, Jon 3-89785-440-6 deposit-license 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:<br /><br /><br /><br />Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf.<br /><br />Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat.<br /><br />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.<br /><br />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. Müller, Thomas deu 2014-05-28T12:55:32Z 2014-05-28T12:55:32Z Paderborn : mentis Barwise, Jon Bromand, Joachim Language, proof and logic Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto