Weeks | Topics |
1 |
Logic, propositional equations, predicates and quantifiers.
|
2 |
Mathematical logic execution.
|
3 |
Proof methods and Induction.
|
4 |
Sets in computer science.
|
5 |
Functions, Iterative functions, Boolean functions.
|
6 |
Growth of functions, Algorithm complexity and complexity classes.
|
7 |
Counting Methods.
|
8 |
Probability.
|
9 |
Introduction to number theory and Cryptology.
|
10 |
Introduction to number theory and Cryptology.
|
11 |
Graph theory and its applications.
|
12 |
Graph theory and its applications.
|
13 |
Graph theory and its applications.
|
14 |
Trees in computer science.
|