WS 2015/16: Logik - Folien und Übungsblätter

Folien

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

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 - G7).

  • Blatt01 — Abgabetermin: 04.11.2015, 16:00 Uhr
  • Blatt02 — Abgabetermin: 11.11.2015, 16:00 Uhr
  • Blatt03 — Abgabetermin: 18.11.2015, 16:00 Uhr
  • Blatt04 — Abgabetermin: 25.11.2015, 16:00 Uhr
  • Blatt05 — Abgabetermin: 02.12.2015, 16:00 Uhr
  • Blatt06 — Abgabetermin: 09.12.2015, 16:00 Uhr
  • Blatt07 — Abgabetermin: 16.12.2015, 16:00 Uhr
  • Blatt08 — Abgabetermin: 07.01.2016, 10:00 Uhr
  • Blatt09 — Abgabetermin: 13.01.2016, 16:00 Uhr
  • Blatt10 — Abgabetermin: 20.01.2016, 16:00 Uhr
  • Blatt11 — Abgabetermin: 27.01.2016, 16:00 Uhr
  • Blatt12 — Abgabetermin: 03.02.2016, 16:00 Uhr
  • Blatt13 — Abgabetermin: 10.02.2016, 16:00 Uhr
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin