Grundlagen der Logik und Logikprogrammierung Sommersemester 2013
Klausureinsicht Freitag 25.10.2013, 9:00, Raum 11.125 (Labor Lehrstuhl 8).
Die Vorlesung findet vorläufig montags 10:15 – 11:45 im H4 statt (siehe UniVIS). Entgegen anderslautender Ankündigungen bleibt es bei H4.
Die VL beginnt am 15.04.2013, die Tutorien erst in der zweiten Semesterwoche.
Hilfsmaterialen
- Es existiert ein inoffizielles Skript, für dessen Inhalt keine Gewähr übernommen wird.
- Notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
- induktion.pdf — Hilfsblatt für Induktionbeweise (von Thomas Voß).
Übungsblätter
- Übungsblatt 0; Abgabe: 29.04.-03.05.
- Übungsblatt 1; Abgabe: 06.05.-10.05.
- Übungsblatt 2 Abgabe: 13.05.-17.05.
- Übungsblatt 3; Abgabe: 20.05.-24.05.
- Übungsblatt 4; Abgabe: 27.05.-31.05.
- Übungsblatt 5; Abgabe: 03.06.-07.06.
- Übungsblatt 6; Abgabe: 10.06.-14.06.
- Übungsblatt 7; Abgabe: 17.06.-21.06.
- Übungsblatt 8; Abgabe: 24.06.-28.06.
- Übungsblatt 9; Abgabe: 01.07.-05.07.
- Übungsblatt 10; Abgabe: 08.07.-12.07.
- Übungsblatt 11; Abgabe: 15.07.-19.07.
Tutorien
Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.
| Termin | Zeit | Raum | Tutor |
|---|---|---|---|
| Termin 6 | Montag, 16:00-17:30 | 11.150-113 | Thomas Voß |
| Termin 1 | Dienstag, 14:15-15:45 | 01.150-128 | Sebastian Wankerl |
| Termin 7 | Mittwoch, 12:15-13:45 | 01.252-128 | Ulrich Rabenstein |
| Termin 2 | Mittwoch, 14:15-15:45 | H10 | Miriam Polzer |
Klausur
- Zur Klausur sind alle papierbasierten Hilfsmittel zugelassen
- Probeklausur
- Klausurergebnisse.