Pre-Course: Theoretical Computer Science
Prepare for logic, proofs, and discrete structures. Our crash course for the fundamentals of theoretical CS.
Starting your studies in Computer Science, Software Engineering, Data Science, or a related degree program soon? Then you’ve come to the right place!
Theoretical computer science (“Theo”) is a subject area that will accompany you across multiple semesters. It provides mathematical and logical foundations that appear in many fields (e.g. IT security, artificial intelligence, algorithms).
Since theoretical computer science is one of the more demanding subjects, the Theo pre-course is designed to ease your entry into studies – specifically the module “Logic and Discrete Structures.”
Date and Registration
The pre-course takes place from Sept 30 to Oct 2, each day from 3:00 pm to 6:00 pm in lecture halls V38.01, V38.02, and V38.04 in the computer science building. Register here
What We Cover
Every day we start at 3:00 pm with a theory session followed by collaborative problem-solving exercises. You’ll receive handouts and (afterwards) the solutions.
- Day 1: Set theory, propositional logic, fundamentals of proof writing
- Day 2: Proof techniques, set proofs
- Day 3: Mathematical induction, predicate logic, modular arithmetic
Materials
We recommend bringing something to write with (notepad and pen, or a tablet with stylus) since we solve many problems together. We provide printed handouts of the slides so you don’t have to copy everything down.
Also check out our Pre-Course: Programming and Software Development!