 |
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2021S |
| Ziele |
Beherrschung von Logik als Arbeitssprache und die Fähigkeit mit Logik zu rechnen
|
| Lehrinhalte |
Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit, Unvollständigkeit
|
| Beurteilungskriterien |
Klausur
|
| Abhaltungssprache |
Englisch |
| Literatur |
Folien.
|
| Lehrinhalte wechselnd? |
Nein |
| Sonstige Informationen |
http://fmv.jku.at/logic
|
|
