Grundlagen der Logik in der Informatik (WS 19/20)
Klausur
- Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
- Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur.
- Bonuspunkte (Achtung: Auf eine bestandene Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet).
Übungsblätter
- Übungsblatt 1; Abgabe: Mo 28.10-Do 31.10.
- Übungsblatt 2; Abgabe: Mo 1.11-Do 7.11.
- Übungsblatt 3; Abgabe: Mo 11.11-Do 14.11.
- Übungsblatt 4 (Korrigiert); Abgabe: Mo 18.11-Do 21.11. – Coq-Beispiele (Präsenzaufgaben):
.
- Übungsblatt 5 (Korrigiert); Abgabe: Mo 25.11-Do 28.11. – Coq-Beispiele (Präsenzaufgaben):
.
- Übungsblatt 6; Abgabe: Mo 2.12-Do 5.12.
- Übungsblatt 7; Abgabe: Mo 9.12-Do 12.12.
- Übungsblatt 8; Abgabe: Mo 16.12-Do 19.12.
- Übungsblatt 9; Abgabe: Di 7.01-Do 9.01.
- Übungsblatt 10; Abgabe: Mo 13.01-Do 16.01.
- Übungsblatt 11; Abgabe: Mo 20.01-Do 23.01.
- Übungsblatt 12; Abgabe: Mo 27.01-Do 30.01.
Termine
Vorlesung
| Termin | Zeit | Ort | Dozent | Beginn |
|---|---|---|---|---|
| Di. | 16:15 – 17:45 | H1 Egerlandstr.3 | Lutz Schröder | 15.10. |
Tutorien
Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.
| Tag | Zeit | Raum | Tutor/in |
|---|---|---|---|
| Montag | 8:15-9:45 (ab 28.10!) | 00.131-128 | Frederik Haselmeier |
| Montag | 10:15-11:45 | K1-119 Brose-Saal | Frederik Haselmeier |
| Dienstag | 08:15-09:45 | 02.134-113 | Aaron Strahlberger |
| Dienstag | 08:15-09:45 (nur 21.10!) | 01.150-128 | Frederik Haselmeier |
| Dienstag | 08:15-9:45 | 00.151-113 | Üsame Cengiz |
| Dienstag | 10:15-11:45 | 3.71 | Aaron Strahlberger |
| Donnerstag | 08:15-09:45 | 04.019 | Nico Meyer |
| Donnerstag | 10:15-11:45 | 02.133-113 | Kristin Braun |
| Donnerstag | 16:15-17:45 | 02.133-113 | Nico Meyer |
| Donnerstag | 16:15-17:45 | 02.134-113 | Johannes Kern |
Die Tutorien beginnen in der zweiten Veranstaltungswoche.
Aus gegebenem Anlass: Studierende, die Plagiate als Lösung der Hausaufgaben einreichen, verwirken ohne weitere Vorwarnung ihr Recht, Bonuspunkte für die Klausur zu erwerben.
Anmeldung zu den Tutorien über MeinCampus (genaues Zeitintervall siehe UnivIS).
Intensivübung
| Termin | Zeit | Ort | Dozent | Beginn |
|---|---|---|---|---|
| Do. | 12:15 – 13:45 | SR TM | Sergey Goncharov | 18.10. |
Klausur
- Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
- Die Bearbeitung der Übungsaufgaben fließt in der Form eines Bonus von bis zu 15% der Klausurpunkte in das Ergebnis einer bestandenen Klausur ein. Bonuspunkte werden erworben, wenn in den Übungen mehr als die Hälfte der Punkte erzielt wird.
- Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur: Probeklausur (Stand 06.06.20)
- Beachten Sie bitte die Hygienevorschriften: Hygieneregeln
Hilfsmaterial
- Es gibt ein Skript (Stand 04.02.20), das wohl nicht mehr sinnvollerweise inoffiziell genannt werden kann. Dennoch ist der Inhalt des Skripts während der Vorlesungszeit stets als vorläufig anzusehen, insbesondere hinsichtlich des Umfangs des Materials; will sagen, es kann ggf. Material hinzukommen. Eine Version, die dem tatsächlichen Ablauf der Veranstaltung entspricht, wird erst nach Abschluss der Vorlesungen zur Verfügung gestellt.
- notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
- Induktion — Hilfsblatt für Induktionsbeweise (von Thomas Voß).
- Coq Cheat Sheets von Amy Felty und Andrej Bauer und von uns.