Week | Date | Theme | Section | Notes | Remarks |
02 | 9 Jan | Logic 1 | 2.1 + 2.2 | Grimaldi's book | |
02 | 10 Jan | Logic 2 | 2.2 + 2.3 | Grimaldi's book | |
03 | 16 Jan | Logic 3 | 2.4 + 2.5 | Grimaldi's book | |
03 | 17 Jan | Logic 4 | 2.5 | Grimaldi's book | |
04 | 23 Jan | Sets 1 | 3.1 + 3.2 | Grimaldi's book | |
04 | 24 Jan | Sets 2 | 3.2 | Grimaldi's book | |
05 | 30 Jan | Boolean algebra 1 | 15.1 + 15.4 | Grimaldi's book | |
05 | 31 Jan | Boolean algebra 2 + induction | 15.4 + 4.1 | Grimaldi's book | |
06 | 6 Feb | Induction + recursions | 4.1 + 4.2 | Grimaldi's book | |
06 | 7 Feb | Relations 1 | 5.1 + 7.1 | Grimaldi's book | |
07 | 13 Feb | Relations 2 | 7.1 + 7.2 | Grimaldi's book | |
07 | 14 Feb | Relations 3 + Posets 1 | 7.4 | Grimaldi's book | |
08 | 20 Feb | Posets 2 | 7.3 | Grimaldi's book | |
08 | 21 Feb | Functions 1 | 5.2 + 5.3 | Grimaldi's book | |
09 | 27 Feb | Functions 2 | 5.6 | Grimaldi's book | |
09 | 28 Feb | Functions 3 + combinatorics | 5.6 + 1.1 | Grimaldi's book | |
10 | 6 Mar | Combinatorics 1 | 1.1 - 1.3 | Grimaldi's book | |
10 | 7 Mar | Combinatorics 2 | 1.3 - 1.5 | Grimaldi's book | |
11 | 13 Mar | Combinatorics 3 | 8.1 | Grimaldi's book | |
11 | 14 Mar | - no lecture - | | | |
12 | 20 Mar | Graph theory 1 | 11.1 + 11.2 | Grimaldi's book | lecturer: H. Bakke Bjerkevik |
12 | 21 Mar | Graph theory 2 | 12.1 + 12.2 | Grimaldi's book | lecturer: H. Bakke Bjerkevik |
13 | 27 Mar | - winter/spring break - | | | |
13 | 28 Mar | - winter/spring break - | | | |
14 | 03 Apr | Graph theory 3 | 12.2 + 11.2 | Grimaldi's book | lecturer: H. Bakke Bjerkevik |
14 | 04 Apr | Graph theory 4 | 11.3 + 11.4 | Grimaldi's book | lecturer: H. Bakke Bjerkevik |
15 | 10 Apr | Graph theory 5 | 11.4 + 11.5 | Grimaldi's book | |
15 | 11 Apr | Languages + finite state machines 1 | 6.1 + 6.2 | Grimaldi's book | |
16 | 17 Apr | Finite state machines 2 | 6.2 + 6.3 | Grimaldi's book | |
16 | 18 Apr | Finite state automata 1 | lecture notes | Schaum's Outline of Discrete Mathematics, 3rd Edition by Lipschutz and Lipson (12.1-12.5) | |
17 | 24 Apr | Finite state automata 1 | lecture notes | Schaum's Outline of Discrete Mathematics, 3rd Edition by Lipschutz and Lipson (12.1-12.5) | |
17 | 25 Apr | Finite state automata 2 and special exercise class (H. Bakke Bjerkevik) | lecture notes | Schaum's Outline of Discrete Mathematics, 3rd Edition by Lipschutz and Lipson (12.1-12.5) | |
18 | 1 May | Public holiday | | | |
18 | 3 May | Algorithms and complexity | 5.7 | Grimaldi's book | |