Grundlagen der Logik und Logikprogrammierung Wintersemester 2013/14
Die Vorlesung findet mittwochs 08:30 – 10:00 im H9 statt. Die Vorlesung beginnt am 16.10.2013, die Tutorien erst in der dritten (!) Semesterwoche.
Übungsblätter
- Übungsblatt 0; Abgabe: 04.11-08.11.
- Übungsblatt 1; Abgabe: 11.11-15.11.
- Übungsblatt 2; Abgabe: 18.11-22.11.
- Übungsblatt 3; Abgabe: 25.11-29.11.
- Übungsblatt 4; Abgabe: 2.12-6.12.
- Übungsblatt 5; Abgabe: 9.12-13.12.
- Übungsblatt 6; Abgabe: 16.12-20.12.
- Übungsblatt 7; Abgabe: 06.01-10.12.
- Übungsblatt 8; Abgabe: 13.01-17.12.
- Übungsblatt 9; Abgabe: 20.01-24.01.
- Übungsblatt 10; Abgabe: 27.01-31.01.
- Übungsblatt 11; Abgabe: 3.02-7.02.
Tutorien
Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.
| Termin | Zeit | Raum | Tutor |
|---|---|---|---|
| Mittwoch | 12:15-13:45 | H16 | Ulrich Rabenstein |
| Donnerstag | 14:15-15:45 | 00.151-113 | Malte Meyn |
| Mittwoch | 16:15-17:45 | 00.151-113 | Tobias Polzer |
| Freitag | 10:15-11:45 | 02.133-113 | Miriam Polzer |
| Dienstag | 10:15-11:45 | Raum: 00.151-113 | Martin Schmitt |
Intensivübungen
Intensivübungen finden statt Dienstags von 16:15 bis 17:45 in Raum 00.151-113. Tutor: Sergey Goncharov.
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ß).
Klausur
- Zur Klausur sind alle papierbasierten Hilfsmittel zugelassen
- Probeklausur
Punkteschlüssel:
| Punkte (0-120) | Note (1.0-5.0) |
|---|---|
| 0-54 | 5.0 |
| 55-63 | 4.0 |
| 64-68 | 3.7 |
| 69-74 | 3.3 |
| 75-78 | 3.0 |
| 79-83 | 2.7 |
| 84-89 | 2.3 |
| 90-93 | 2.0 |
| 94-98 | 1.7 |
| 99-104 | 1.3 |
| 105-120 | 1.0 |
Vorläufiger Plan der Vorlesungen
[Nach Mi. 5.2.14 keine weiteren Termine, daher aktuell keine Anzeige von Kalendereinträgen]