WS 2017/18: Logik - Folien und Übungsblätter

Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2016/17 sein. Sie sind von der Webseite der letztjährigen Vorlesung erhältlich.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Organisatorisches und Einführung

Aussagenlogik

Prädikatenlogik

Übungsblätter

Werfen Sie Ihre Lösungen zu den Übungsblättern vor Ende des Abgabezeitraums (jeweils Mittwochs, 16:00 Uhr (s.t.)) in den Briefkasten neben Raum LF 259 mit der Aufschrift "Logik" ein oder geben Sie ein pdf online ab über die MOODLE-Plattform. Zu spät abgegebene Lösungen werden nicht bewertet.

Schreiben Sie auf jedes Blatt Ihrer Lösung Ihren Namen, Vornamen, Matrikelnummer und die Übungsgruppennummer (G1 - G6).

  • Blatt01 — Abgabetermin: 25.10.2017, 16:00 Uhr
  • Blatt02 — Abgabetermin: 02.11.2017, 10:00 Uhr
  • Blatt03 — Abgabetermin: 08.11.2017, 16:00 Uhr
  • Blatt04 — Abgabetermin: 15.11.2017, 16:00 Uhr
  • Blatt05 — Abgabetermin: 22.11.2017, 16:00 Uhr
  • Blatt06 — Abgabetermin: 29.11.2017, 16:00 Uhr
  • Blatt07 — Abgabetermin: 06.12.2017, 16:00 Uhr
  • Blatt08 — Abgabetermin: 13.12.2017, 16:00 Uhr
  • Blatt09 — Abgabetermin: 20.12.2017, 16:00 Uhr
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin