 |
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2021S |
| Objectives |
Command of logic as a working language and the ability to compute with logic
|
| Subject |
Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
|
| Criteria for evaluation |
Exam
|
| Language |
English |
| Study material |
Slides.
|
| Changing subject? |
No |
| Further information |
http://fmv.jku.at/logic
|
|
