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

Hinweis: s/w = schwarz-weiß

• Alle Folien (Stand: 11.12.19): [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Folien, unterteilt in Kapitel

Organisatorisches und Einführung

• Organisation (Stand: 16.10.19) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Einführung (Stand: 16.10.19) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Aussagenlogik

• Grundbegriffe, Äquivalenz und Normalformen (Stand: 13.11.19) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
• Resolution (Stand: 20.11.19) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

Prädikatenlogik

• Grundbegriffe, Äquivalenz und Normalformen (Stand: 11.12.19) [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

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.