The goal of this course is the introduction to central mathematical concepts that arise in computer science.
The emphasis will be on building abstraction skills and understanding the proof techniques that are necessary.
The target group includes students that want to remember/learn how to grasp and argue about abstract notions.
After this course you should be able to formally define statements and prove that they are true or false.