Ich halte jedes Sommersemester die Vorlesung “Einführung in die Logik” an der Bergischen Universität. Dieser Vorlesung liegt Ansgar Beckermanns Einführungsbuch zugrunde. Für den hier verwendeten Tableaukalkül stellt Wolfgang Schwarz einen passenden Baumgenerator zur Verfügung, der zum Üben sehr praktisch ist.
Wenn Sie als Studierende Fragen zur Veranstaltung haben, schauen Sie als erstes im Moodlekurs, ob die Frage dort (etwa im FAQ) bereits beantwortet wird. Dort finden Sie auch die Folien und das Skript zur Vorlesung sowie die Übungsblätter aus den Tutorien.
Wenn Sie darüber hinaus Fragen haben, wenden Sie sich an die Tutor:innen. Sollte die Frage von den Tutor:innen nicht beantwortet werden können oder vertraulich sein, kommen Sie bitte in meine Sprechstunde (Zoom, Anmeldung über Moodle).