Logik (Sommersemester 2017)

  1. Material
  2. Organisation

Some Information in English with translations of the exercise sheets are available.

Material

Vorlesungsmaterial

Folien Datum Themen
Vorlesung 1 19.04. Einleitung, Literaturempfehlungen, Syntax und Semantik der Aussagenlogik, Strukturelle Induktion
Vorlesung 2 26.04. Deduktive Systeme

Es gibt außerdem ältere Skripte zur Vorlesung. Beachten Sie, dass die Notationen und Definitionen sich teilweise unterscheiden.

Übungsmaterial

Übungsblatt Datum Themen
01 - Präsenz am 20./21.04. Beschreiben von Problemen mit Logik, Strukturelle Induktion
02 - Abgabe bis 28.04. Strukturelle Induktion, Definitionen zur Semantik von Formeln, Anwendung von Logik
03 - Präsenz am 27./28.04. Vollständige Operatormengen, Strukturelle Induktion, Induktive Definitionen

Organisation

Die erste Vorlesung findet am Mittwoch, 19.04.2017, 11:45 in Raum 52-207 statt.

Die Übungen starten ebenfalls in der ersten Vorlesungswoche.

Anmeldung

Die Anmeldung zu den Übungen ist nun geschlossen. Sie können Ihre Übungsgruppe im Stat/Optimus-System sehen.

Sollten Sie die Anmeldefrist verpasst haben, melden Sie sich bitte per Mail bei Peter Zeller an. Geben Sie bitte in der Mail an, welche Übungstermine (siehe unten) für Sie möglich sind.

Theoretical Computer Science Amendment

If you are taking the “Logik” lecture as part of the “Theoretical Computer Science Amendment” (see Module 89-5021), please contact Peter Zeller as early as possible. We will provide more information on request.

You can find more information here.

Klausurzulassung

Die erfolgreiche Teilnahme an den Übungen ist notwendig, um zur Abschlussklausur zugelassen zu werden. Alte Klausur-Zulassungen bleiben bestehen, wir empfehlen aber, Vorlesung und Übungen erneut zu besuchen.

Konkret sind folgende Vorraussetzungen zu erfüllen:

  • Bestehen der Zwischenklausur.
  • Anwesenheit und aktive Teilnahme an den Übungen. Maximal zwei unentschuldigte Fehlzeiten sind erlaubt.
  • Es müssen 50% der Gesamt-Punkte für die Einreichaufgaben (Abgabe-Blätter) erreicht werden. Jede Einreichaufgabe wird dabei mit 0-4 Punkten bewertet (0 Punkte für unbearbeitete Aufgaben und ungenügende Lösungen, 1 Punkt für Lösungen mit sinnvollem Ansatz, 2 Punkt für Aufgbaben, die in der Klausur 50% der Punkte oder mehr gegeben hätten, 3 Punkte für Lösungen mit kleineren Fehlern und 4 Punkte für korrekte Lösungen).

    Präsenz-Blätter werden in der Übung bearbeitet und sind nicht Teil der Klausurzulassung.

Übungstermine

# Tag Zeit Raum Tutor
1 Donnerstag 8:15 - 9:45 48-379 Lea Plückebaum <plueckeb@rhrk.uni-kl.de>
2 Donnerstag 10:00 - 11:30 44-336 Kathrin Thomas <k_thomas14@cs.uni-kl.de>
3 Donnerstag 13:45 - 15:15 48-379 Albert Schimpf <a_schimpf12@cs.uni-kl.de>
4 Freitag 11:45 - 13:15 52-204 Kathrin Thomas <k_thomas14@cs.uni-kl.de>
5 Freitag 13:45 - 15:15 32-439 Albert Schimpf <a_schimpf12@cs.uni-kl.de>
6 Freitag 15:30 - 17:00 13-370 Lea Plückebaum <plueckeb@rhrk.uni-kl.de>

Zu den Feiertagen wird es entsprechnde Ersatztermine geben, die hier bekannt gegeben werden.

Zwischenklausur

Die Zwischenklausur findet am Montag, 19.06.2017 um 19:00 Uhr in Raum 46-220 statt.

Wenn Sie für die Übung angemeldet sind, sind Sie auch automatisch für die Zwischenklausur angemeldet. Falls Sie mitschreiben wollen, aber nicht für die Übungen angemeldet sind, melden Sie sich bitte bei Peter Zeller für die Klausur an. Falls Sie nicht mitschreiben wollen, melden Sie sich bitte bei Peter Zeller ab.

Sie können die Zwischenklausur auch mitschreiben, wenn Sie die Zulassung bereits aus dem letzten Jahr haben.

Fragestunde

Immer Montags um 13:45 findet in Raum 48-379 eine freiwillige Fragestunde statt. Diese richtet sich vor allem an Studenten, welche Probleme haben den Stoff zu verstehen oder in den Übungen anzuwenden. Es können aber auch Fragen gestellt werden, die über den Stoff der Vorlesung hinaus gehen.

Wenn Sie Fragen oder Wünsche für die Fragestunde haben, schreiben Sie bitte eine Mail an Kathrin Thomas k_thomas14@cs.uni-kl.de, so dass sie sich darauf vorbereiten kann.

Falls Sie Interesse an der Fragestunde haben, aber der Termin unpassend ist, schreiben Sie uns bitte auch eine Mail.

Kontakt

Die Vorlesung wird von Prof. Arnd Poetzsch-Heffter gehalten. Die Übungen werden von Peter Zeller organisiert.

Bei Fragen wenden Sie sich bitte an Peter Zeller.