Lehre

Lehrtätigkeit im Wineersemester 2020/21

501.403REÜbung zur Elementaren Logik I

Übung zur Elementaren Logik: Allgemeine Information

Einen Text mit einigen allgemeinen Informationen über den Ablauf der Übung zur Elementaren Logik I (einschließlich Kriterien für eine positive Absolvierung) im Wintersemester 2020/21 finden Sie »hier«.

Lehre: Archiv

Eine Aufstellung meiner vergangenen Lehrtätigkeit finden Sie »hier«.

Der Satz von Alonzo Church: Die Unentscheidbarkeit der Prädikatenlogik

Skriptum

Ein Skriptum zu diesem Kurs gibt es »hier«.

Kriterien für eine positive Absolvierung

  • Bearbeitung von Übungsaufgaben
  • mündliche Diskussionsbeiträge in den Sitzungen der Lehrveranstaltung
  • Abschlusskolloquium

Bilschirmpräsentationen