Folien

Die Folien werden ähnlich zu den Folien im Wintersemester 2018/19 sein.

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.

  • Blatt 01 — Abgabetermin: 30.10.2019, 16:00 Uhr
  • Blatt 02 — Abgabetermin: 06.11.2019, 16:00 Uhr
  • Blatt 03 — Abgabetermin: 13.11.2019, 16:00 Uhr
  • Blatt 04 — Abgabetermin: 20.11.2019, 16:00 Uhr
  • Blatt 05 — Abgabetermin: 27.11.2019, 16:00 Uhr
  • Blatt 06 — Abgabetermin: 04.12.2019, 16:00 Uhr
  • Blatt 07 — Abgabetermin: 11.12.2019, 16:00 Uhr
  • Blatt 08 — Abgabetermin: 18.12.2019, 16:00 Uhr

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

Probeklausur

Eine Probeklausur wird gegen Ende des Semesters bereitgestellt.