Sie sind hier: Startseite Personen Privatdozenten PD Dr. Joachim Bromand Logik II-Materialien (SoSe 2009)

Logik II-Materialien (SoSe 2009)

Buch_Logik_II.jpg

Textgrundlage:
Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie, 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 2006.

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 einer begleitenden (nicht aber obligatorischen) Übung (Mo, 12-14, MiÜR) besprochen werden.

 

Vorlesungsskript als PDF-Dateien

 

Links zu den Logik-Materialien

Weitere Lösungshinweise zu Übungsaufgaben

Language, Proof and Logic-Seite von CSLI

Adobe Reader (erforderlich zum Öffnen der obigen PDF-Dateien)

 

 

Artikelaktionen