Grundlagen der Logik in der Informatik (WS 14/15)
Die Vorlesung findet donnerstags 08:30 – 10:00 im HG (Staudtstraße 5) statt. Die Tutorien beginnen in der dritten Semesterwoche. Anmeldung zu den Tutorien über mein campus, voraussichtlich Do. 9.10.2014, 18:00 bis So. 12.10.2014, 24:00.
Die Vorlesung am 13.11.14 findet statt und wird von Herrn Dr. Goncharov gehalten.
Klausur
Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen. Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur.
Übungsblätter
- Übungsblatt 1; Abgabe: 27.10-31.10.
- Übungsblatt 2; Abgabe: 2.11-7.11.
- Übungsblatt 3; Abgabe: 10.11-14.11.
- Übungsblatt 4; Abgabe: 17.11-21.11.
- Übungsblatt 5; Hilfsblatt zu Coq-Taktiken;
Abgabe: 24.11-28.11.
- Übungsblatt 6; Abgabe: 1.12-5.12.
- Übungsblatt 7; Abgabe: 8.12-12.12.
- Übungsblatt 8; Abgabe: 15.12-19.12.
- Übungsblatt 9;
; Abgabe: 7.01-16.01.
- Übungsblatt 10; Abgabe: 19.01-23.01.
- Übungsblatt 11; Abgabe: 26.01-30.01.
Tutorien
Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.
| Termin | Zeit | Raum | Tutor |
|---|---|---|---|
| Montag | 12:15 – 13:45 | R4.15 | Ulrich Rabenstein |
| Montag | 14:15 – 15:45 | 02.133-113 | Ludwig Dietel |
| Dienstag | 8:15 – 9:45 | 01.255-128 | Maryam Sanati |
| Dienstag | 10:15 – 11:45 | 01.255-128 | Maryam Sanati |
| Dienstag | 14:15 – 15:45 | 02.133-113 | Philipp Reger |
| Freitag | 10:15 – 11:45 | 02.134-113 | Ludwig Dietel |
| Freitag | 12:15 – 13:45 | R4.11 | Miriam Polzer |
Intensivübungen
Intensivübungen finden Freitags von 14:15 bis 15:45 in Raum 02.133-113 statt. Tutor: Sergey Goncharov.
Hilfsmaterialen
- Es existiert ein 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ß).
- Coq Cheat Sheets von Amy Felty und Andrej Bauer
- Coq-Beipiele aus der Vorlesung in
und