Material zu Logik (WS 2019/20)
Folien
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)]
Ü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.