Textgrundlage:
Sprache, Beweis und Logik. Band I: Aussagen- und Prädikatenlogik, deutsche Ausgabe von Language, Proof, and Logic von J. Barwise & J. Etchemendy, CSLI Publications, Stanford 1999. Text mit Software. Übersetzt und für das Deutsche bearbeitet von J. Bromand, T. Müller & G. Som­ma­ruga, Paderborn: Mentis 2005.

Es besteht zudem die Möglichkeit, eine Text und Vorlesung begleitende Software zu erwer­ben. Letztere ist zur Teilnahme nicht unbedingt erforderlich, aber in jedem Falle sehr hilf­reich: Die Software trägt zur Veranschaulichung des Stoffes bei und ermöglicht Studieren­den, selbständig mit Beweistechniken zu experimentieren, und gibt unmittelbares Feedback für vie­­­le Übungen: J. Barwise & J. Etchemendy, Sprache, Beweis und Logik. CD-ROM, Paderborn: Mentis 2006.

Zur Veranstaltung werden wöchentlich Übungsaufgaben vergeben, die in begleitenden Tuto­rien (Mi, 10-12, HS IX & Di, 8-10, GrÜR) besprochen werden. Zudem besteht die Möglichkeit, im Rahmen ei­ner Logik-Sprech­stun­de (Mo, 13-14, Raum 1.092) auf Einzelfragen und besondere Probleme der Teilnehmer­(in­nen) in kleinen Grup­pen oder, im Idealfall, sogar individuell einzugehen.

 

Powerpoint-Folien der Vorlesung als PDF-Datei

 

Lösungen zu ausgesuchten Aufgaben & weitere Materialien