Course Objectives - Learning Outcomes

Course Objectives:
The course aims to teach basic concepts of Mathematical Logic and their application in automated proof systems.
Students become familiar with formal proof production and mechanics.
The techniques taught may be applied as tools with applications in other areas within Computer Science.

Learning Objectives:
- Formal proof construction
- Mechanized satisfiability testing
- Automated proof techniques