|
Detailinformationen |
Quellcurriculum |
Bachelorstudium Informatik 2024W |
Ziele |
Die Studierenden beherrschen Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen. Nach Absolvierung dieser Lehrveranstaltung sind die Studierenden in der Lage
- Definitionen von logischen Sprachen zu verstehen (Syntax und Semantik)
- Wahrheitswerte von logischen Formeln zu berechnen
- Gesetze und Regeln logischer Sprachen zu verstehen und zur Vereinfachung von Formeln anzuwenden
- Regeln von Beweissytemen anzuwenden
- mit diversen Hintergrund-Theorien zu arbeiten
- einfache Fragestellungen der künstlichen Intelligenz bzw. formalen Verifikation in logische Formeln zu kodieren und zu lösen
- verschiedene automatische Beweiser zu verwenden
|
Lehrinhalte |
Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit.
|
Beurteilungskriterien |
Wöchentliche Kurztests mit kleinen wöchentlichen Übungen und optionalen Projekten
oder
eine Klausur über den gesamten Stoff (beides zusammen mit der Übung).
|
Lehrmethoden |
Folienbasierter Vortrag mit vorgerechneten Beispielen und Tooldemos.
|
Abhaltungssprache |
Englisch |
Literatur |
Folien und Vorlesungsvideos.
Für Teile der Lehrveranstaltung ist ein Skriptum verfügbar.
|
Lehrinhalte wechselnd? |
Nein |
Sonstige Informationen |
Moodle Kurs
|
|