Vergangene Lehrtätigkeit

Lehrtätigkeit im Sommersemester 2020

501.453REÜbung zur Elementaren Logik II
501.285KSDer Satz von Alonzo Church: Die Unentscheidbarkeit der Prädikatenlogik
Skriptum
Bildschirmpräsentationen:
Administratives & Einleitung
Der infinite Abacus

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

Lehrtätigkeit im Wintersemester 2019/20

501.403REÜbung zur Elementaren Logik I

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 2019/20 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2019

501.452REÜbung zur Elementaren Logik II

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

Lehrtätigkeit im Wintersemester 2018/19

501.403REÜbung zur Elementaren Logik I

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 2018/19 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2018

501.452UEÜbung zur Elementaren Logik II

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

Lehrtätigkeit im Wintersemester 2017/18

501.403UEÜbung zur Elementaren Logik I

Vorlesung zur Elementaren Logik I vom 28.11.2017: Paradoxien der materialen Implikation (Bildschirmpräsentation)

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 2017/18 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2017

501.452UEÜbung zur Elementaren Logik II

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

Lehrtätigkeit im Wintersemester 2016/17

keine

Lehrtätigkeit im Sommersemester 2016

501.452UEÜbung zur Elementaren Logik II

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

Lehrtätigkeit im Wintersemester 2015/16

501.403UEÜbung zur Elementaren Logik I

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 2015/16 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2015

501.351SELogische Formen. Ein Seminar über das gleichnamige Buch von M. Sainsbury
501.452UEÜbung zur Elementaren Logik II

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

Lehrtätigkeit im Wintersemester 2014/15

501.403UEÜbung zur Elementaren Logik I

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 2014/15 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2014

501.452UEÜbung zur Elementaren Logik II
501.067VOElementare Logik II (Mitwirkender)

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

Lehrtätigkeit im Wintersemester 2013/14

501.403UEÜbung zur Elementaren Logik I
501.030VOElementare Logik I (Mitwirkender)

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 2013/14 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2013

501.452UEÜbung zur Elementaren Logik II
501.067VOElementare Logik II (Mitwirkender)

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

Lehrtätigkeit im Wintersemester 2012/13

501.401UEÜbung zur Elementaren Logik I
501.030VOElementare Logik I (Mitwirkender)

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 2012/13 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2012

501.452UEÜbung zur Elementaren Logik II
501.067VOElementare Logik II (Mitwirkender)

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

Lehrtätigkeit im Wintersemester 2011/12

501.401UEÜbung zur Elementaren Logik I
501.030VOElementare Logik I (Mitwirkender)

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 2011/12 finden Sie »hier«.

Lehrtätigkeit im Sommersemester 2011

501.452UEÜbung zur Elementaren Logik II
501.067VOElementare Logik II (Mitwirkender)

Vorlesung zur Elementaren Logik

Da mein Konzept zur Vorlesung aus Elementarer Logik II am 11.4.2011 so ausführlich geraten ist, dass ich annehmen kann, es könnte für die Hörerinnen und Hörer von Nutzen sein, stelle ich es wie angekündigt zur Verfügung. Ich lege allerdings Wert auf die Feststellung, dass es sich dabei nicht um ein Skriptum handelt: Es kommen darin Begriffe und Beweise vor, die ich im Hörsaal nicht verwendet / vorgetragen habe, und ich garantiere nicht für Fehlerfreiheit. Wie gesagt, es ist lediglich mein Vortragskonzept – im Zweifelsfall gilt das Lehrbuch.

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

Lehrtätigkeit im Wintersemester 2010/11

501.401UEÜbung zur Elementaren Logik I
501.030VOElementare Logik I (Mitwirkender)

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 2010/11 finden Sie »hier«.