| DM Andrea Valente |
DMG
|
AAUE |
AUE C145
3 ECTS
| Day / time |
Chapters & material |
Topic |
1/12 12:30-15:30 |
Chapter 1.1 and 1.2 | Logic [slides]
Exercises here. |
|
2/12 9:00-13:00 |
Chapter 1.3 and 1.4, Chapter 1.5 |
Logic, Proofs [slides] Exercises here. |
|
6/12 9:00-13:00 |
Chapter 1.6 and 1.7, Chapter 1.8 |
Sets, Functions [Slides and exercises] |
|
7/12 9:00-13:00 |
Chapter 2.1, 2.2 and 2.3 |
Algorithms [slides, exercises] |
|
9/12 9:00-13:00 |
Chapter 3.3 to 3.6 and 6,1 to 6.3 |
Induction and Recursion [slides, exercises] |
|
13/12
9:00-13:00 |
Chapter 2.4, 2.5 and 2.6 |
Number Theory [exercises] |
|
14/12 9:00-13:00 |
Chapter 2.7 and 3.2 |
Matrices and Sums [exercises] |
|
15/12 9:00-13:00 |
Chapter 7, Chapter 8.1, 8.2, 8.3 |
Relations, Graphs [exercises] |
|
16/12 9:00-13:00 |
Chapter 8.4, 8.5 and 8.6 |
Graphs [exercises, animations] |
|
20/12 9:00-13:00 |
Chapter 8.7 and 8.8, Chapter 9 |
Graphs, Trees (+ hard problems) [exercises] [dna computing: 1,2] |