| 501.403 | RE | Übung zur Elementaren Logik |
| PPA.03260UB | PS | Einführung in die Philosophie (mit einer Einführung in das wissenschaftliche Arbeiten) |
Einen Text mit einigen allgemeinen Informationen über den Ablauf der Übung zur Elementaren Logik (einschließlich Kriterien für eine positive Absolvierung) im Wintersemester 2023/24 finden Sie »hier«.
Die Bildschirmpräsentation aus der Vorbesprechung finden Sie »hier«.
Ein Tool zur Erzeugung der Dateinamen für Ihre Abgaben finden Sie »hier«.
Vorbesprechung: Bildschirmpräsentation
| 501.403 | RE | Übung zur Elementaren Logik |
Einen Text mit einigen allgemeinen Informationen über den Ablauf der Übung zur Elementaren Logik (einschließlich Kriterien für eine positive Absolvierung) im Wintersemester 2022/23 finden Sie »hier«.
| 501.470 | KS | Grenzen der Beweisbarkeit. Der erste Gödelsche Unvollständigkeitssatz |
| 501.403 | RE | Übung zur Elementaren Logik I |
| PPA.03260UB | PS | Einführung in die Philosophie (mit einer Einführung in das wissenschaftliche Arbeiten) |
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 2021/22 finden Sie »hier«.
| 501.403 | RE | Ü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 2020/21 finden Sie »hier«.
| 501.453 | RE | Übung zur Elementaren Logik II |
| 501.285 | KS | Der 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«.
| 501.403 | RE | Ü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«.
| 501.452 | RE | Ü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«.
| 501.403 | RE | Ü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«.
| 501.452 | UE | Ü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«.
| 501.403 | UE | Ü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«.
| 501.452 | UE | Ü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«.
| 501.452 | UE | Ü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«.
| 501.403 | UE | Ü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«.
| 501.351 | SE | Logische Formen. Ein Seminar über das gleichnamige Buch von M. Sainsbury |
| 501.452 | UE | Ü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«.
| 501.403 | UE | Ü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«.
| 501.452 | UE | Übung zur Elementaren Logik II |
| 501.067 | VO | Elementare 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«.
| 501.403 | UE | Übung zur Elementaren Logik I |
| 501.030 | VO | Elementare 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«.
| 501.452 | UE | Übung zur Elementaren Logik II |
| 501.067 | VO | Elementare 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«.
| 501.401 | UE | Übung zur Elementaren Logik I |
| 501.030 | VO | Elementare 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«.
| 501.452 | UE | Übung zur Elementaren Logik II |
| 501.067 | VO | Elementare 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«.
| 501.401 | UE | Übung zur Elementaren Logik I |
| 501.030 | VO | Elementare 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«.
| 501.452 | UE | Übung zur Elementaren Logik II |
| 501.067 | VO | Elementare Logik II (Mitwirkender) |
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«.
| 501.401 | UE | Übung zur Elementaren Logik I |
| 501.030 | VO | Elementare 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«.