Grundlagen der Logik in der Informatik (WiSe 2021/22)
Zusätzliche Informationen finden sich z.T. im StudOn-Kurs zur Veranstaltung, dem Sie idealerweise beitreten.
Übungsblätter
- Übungsblatt 1; Abgabe: Do. 04.11, 12:00
- Übungsblatt 2; Abgabe: Do. 11.11, 12:00
- Übungsblatt 3 (korrigiert); Abgabe: Do. 18.11, 12:00
- Übungsblatt 4; Abgabe: Do. 25.11, 12:00
- Übungsblatt 5; Abgabe: Do. 02.12, 12:00 (Achtung: Bonusaufgabe auf UB 6 verschoben)
- Übungsblatt 6; Abgabe: Do. 09.12, 12:00
- Übungsblatt 7; Abgabe: Do. 16.12, 12:00
- Übungsblatt 8; Abgabe: Do. 23.12, 12:00
- Übungsblatt 9; Abgabe: Do. 13.01, 12:00
- Übungsblatt 10; Abgabe: Do. 20.01, 12:00
- Übungsblatt 11; Abgabe: Do. 27.01, 12:00
- Übungsblatt 12; Abgabe: Do. 03.02, 12:00
Termine
Vorlesung
| Termin | Zeit | Ort | Dozent | Beginn |
|---|---|---|---|---|
| Fr. | 12:15 – 13:45 | H7 (vorläufig) | Lutz Schröder | 22.10.21 |
Tutorien
Tutorien werden in Gruppen abgehalten. Die Tutorien beginnen in der zweiten Veranstaltungswoche.
| Termin | Raum | Tutor |
|---|---|---|
| Mo, 10:15 | 01.150-128 | Frederik Hennig |
| Mo, 12:15 | 02.133-113 | Timo Teufel |
| Di, 8:15 | 02.134-113 | Aaron Strahlberger |
| Di, 10:15 | 02.134-113 | Aaron Strahlberger |
| Di, 14:15 | Achtung: ab 9.11 in 0.157-115 |
Timo Teufel |
| Mi, 8:15 | Alexander Lehnert | |
| Do, 10:15 | 02.133-113 | Alexander Lehnert |
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 |
|---|---|---|---|---|
| Di. | 12:15 – 13:45 | 01.150-128 | Sergey Goncharov | 2.11.21 |
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 29.03.22)
- Beachten Sie bitte die Hygieneregeln
Hilfsmaterial
- Es gibt ein Skript (Stand 11.02.22), 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 Andrej Bauer und von uns.