Informationen zum Kurs "Logik und Logikprogrammierung" (Winter 2022/23)

Mitteilungen

Die Unterlagen zum Teil "Logikprogrammierung" finden Sie auf dieser Seite und im Moodle.

Um Sie ggf. über Raum- und andere Änderungen informieren zu können, tragen Sie sich bitte in den zugehörigen moodle-Kurs ein.

Einige der Übungsaufgaben sind als Bonusaufgaben gekennzeichnet. Ihre Lösung dieser Aufgaben geben Sie bitte bis zum auf dem Übungsblatt verzeichneten Zeitpunkt (üblicherweise Donnerstag 13 Uhr) im Briefkasten vor dem Raum Z 1047 oder am Anfang der Donnerstag-Vorlesung ab. Diese werden korrigiert, die dabei erhaltenen Punkte werden in Bonuspunkte für die Klausur umgerechnet. Die korrigierten Lösungen werden in den Übungen zurückgegeben.

Hinweise:

  • Die korrigierten Lösungen der 10. Hausaufgabenserie können ab sofort im Raum Z 1055 abgeholt werden.
  • Am 16.02. wird zwischen 13:00 und 15:00 Uhr eine Konsultation im Raum Sr K 2077 stattfinden.
    Falls Interesse besteht, können wir auch die fehlende Aufgabe von Übungsblatt 4 besprechen.

Materialien

Materialien (Vorlesungsmitschnitte und Übungen zum Logikteil) finden Sie auf dieser Seite, die zum Logikteil im Moodle.

01. Vorlesung (10.10.22): Folien, Mitschnitt
02. Vorlesung (13.10.22): Folien, Mitschnitt Teil 1 und Teil 2
03. Vorlesung (20.10.22): Folien, Mitschnitt
04. Vorlesung (27.10.22): Folien, Mitschnitt
05. Vorlesung (03.11.22): Folien, Mitschnitt
06. Vorlesung (07.11.22): Folien, Mitschnitt
07. Vorlesung (10.11.22): Folien, Mitschnitt
08. Vorlesung (17.11.22): Folien, Mitschnitt
09. Vorlesung (21.11.22): Folien, Mitschnitt
10. Vorlesung (01.12.22): Folien, Mitschnitt
11. Vorlesung (05.12.22): Folien, Mitschnitt
12. Vorlesung (08.12.22): Folien, Mitschnitt
13. Vorlesung (12.12.22): Folien, Mitschnitt
14. Vorlesung (15.12.22): Folien, Mitschnitt

01. Übung (13. & 14.10.22): Aufgaben
02. Übung (Abgabe bis zum 20.10. 13:00 Uhr): Aufgaben
03. Übung (Abgabe bis zum 27.10. 13:00 Uhr): Aufgaben
04. Übung (Abgabe bis zum 03.11. 13:00 Uhr): Aufgaben
05. Übung (Abgabe bis zum 10.11. 13:00 Uhr): Aufgaben
06. Übung (Abgabe bis zum 17.11. 13:00 Uhr): Aufgaben
07. Übung (Abgabe bis zum 24.11. 13:00 Uhr): Aufgaben
08. Übung (Abgabe bis zum 01.12. 13:00 Uhr): Aufgaben (Version 2)
09. Übung (Abgabe bis zum 08.12. 13:00 Uhr): Aufgaben
10. Übung (Abgabe bis zum 15.12. 13:00 Uhr): Aufgaben

Termine

Vorlesung:

 

Übungen: