 |
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2024W |
| Objectives |
The students know how to use logic as a working language and they have the ability to compute with logic. After this course students are able to
- understand definitions of logical languages (syntax and semantics)
- calculate the truth values of logical formulas
- understand laws and rules of logical languages and apply them to simplify formulas in a truth-preserving manner
- apply rules of proof systems
- work with various background theories
- encode and solve simple questions of artificial intelligence and formal verification with logic
- use different automatic provers and solvers
|
| Subject |
Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
|
| Criteria for evaluation |
Weekly minitests with small weekly exercises optional projects
or
one exam over the full content of the course (both are together with the exercise).
|
| Methods |
Slide-based presentation plus practical examples and tool demos .
|
| Language |
English |
| Study material |
Slides and lecture videos.
For parts of this course lecture notes are available.
|
| Changing subject? |
No |
| Further information |
Moodle Course
|
|
