Logik für Studierende der Informatik — WS 2017/18

Dozent: Markus Junker
Assistent: Giorgio Laguzzi

1) Aktuell:
  • Beginn der Vorlesung: 16. Oktober 2017
  • Beginn der Tutorate: in der zweiten Vorlesungswoche
  • Link zum Kurs auf ILIAS
2) Zeit und Ort:
  • Zeit und Ort der Vorlesung: Mo, 10-12 Uhr, HS 00-026, Gebäude 101
  • Zeiten der Tutorate:
    Es gibt 5 Tutorate geben; in HISinOne sind dies die Gruppen 1, 2, 4, 5 und 7, die wir aber Gruppe A bis E nennen.

3) Prüfung:

  • Die Prüfungsleistung besteht aus einer Klausur. Der Termin wird vom Prüfungsamt der Technischen Fakultät bekannt gegeben.
Folgende Studienleistungen sind Zulassungsvoraussetzung zur Klausurteilnahme:
  • Regelmäßige Teilnahme an den Übungen (maximal zweimaliges Fehlen) und das Erlangen von 50% der Punkte aus den Übungen.
    Die Übungsblätter werden jeweils spätestens dienstags in ILIAS eingestellt und sind bis zum darauf folgenden Montag bis 11 Uhr abzugeben (Briefkästen Gebäude 51)
  • Regelmäßige Teilnahme an den online-Tests (maximal zweimaliges Aussetzen) und das Erlangen von 50% der Punkte aus den online-Tests.
    Die online-Test werden jeweils spätestens mittwochs freigeschaltet und sind spätestens am darauf folgenden Freitag zu bearbeiten.

4) Folien / Skript / Literatur:

  • Skript (Stand 17. März 2017)
Weitere 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 werden auf ILIAS eingestellt

10. Oktober 2017, Markus Junker