 |
| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2013W |
| Ziele |
Logik als Arbeitssprache und Rechnen mit Logik
|
| Lehrinhalte |
Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit, Unvollständigkeit
|
| Beurteilungskriterien |
|
| Lehrinhalte wechselnd? |
Nein |
|
