Logik für Studierende der Informatik WS 2016/17
Dozent: Markus Junker
Assistent: Andreas Claessens
1) Aktuell:
- Nachklausur voraussichtlich am Freitag, 22.09.2017, ab 10 Uhr.
- Klausur ist korrigiert, Ergebnisse sind in HISinOne eingetragen.
Klausureinsicht war am Mittwoch 15. März
2) Zeit und Ort:
- Zeit und Ort der Vorlesung: Mo, 10-12 Uhr, HS 00-026, Gebäude 101
- Zeiten der Tutorate (Raum: siehe HISinOne):
- Gruppe 1: Fr 12-14 Uhr, Anna-Maria Ammer
- Gruppe 2: Do 14-16 Uhr, Patrick Meurin
- Gruppe 3: Do 14-16 Uhr, Amin Shuaib
- Gruppe 4: Do 16-18 Uhr, Patrick Meurin
- Gruppe 5: Do 14-16 Uhr, Andreas Engert
- Zeit und Ort der Klausur: Donnerstag 2. März 2017 , ab 10:00 Uhr im HS 2004, KG II
- Zeit und Ort der Nachklausur: voraussichtlich September 2017.
3) Prüfung:
- Die Prüfungsleistung besteht aus einer Klausur.
Folgende Studienleistungen sind Zulassungsvoraussetzung zur Klausur:
- Regelmäßige Teilnahme an den Übungen (maximal zweimaliges Fehlen)und das Erlangen von 40% der Punkte aus den Übungen.
Geplant sind 14 Übungsblätter (Ausgabe des letzten Übungsblattes in der vorletzten Vorlesungswoche);
im wesentlichen wird man auf jedem Übungsblatt die gleiche Anzahl von Punkten erwerben können.
4) Folien/Skript/Literatur:
- Skript (Stand 17. März 2016)
- Vorlesungsfolien sind auf ILIAS eingestellt
Einige Literaturempfehlungen (alphabetisch geordnet nach Autor):
- Barwise, Etchemendy Sprache, Beweis und Logik, 2 Bände, mentis.
- Ebbinghaus, Flum, Thomas Einführung in die mathematische Logik, Spektrum.
- Schöning Logik für Informatiker, Spektrum.
- Ziegler Mathematische Logik, Birkhäuser
Nützliche Ergänzung:
5) Übungsblätter
- die Übungsblätter sind auf ILIAS eingestellt
17. März 2016, Markus Junker