===== Lecture plan =====

The chapters of the textbook that are part of the curriculum are those mentioned below.
 
**NOTE**: This is a tentative plan and may be subject to change. Note that there will be 14 weeks of lectures in total.   

^ Week  ^ Date   ^ Theme                     ^ Chapter                       ^ Notes  ^ Remarks                                                               ^
| 02    | 12.01  | Logic 1                   | 9 Lewis-Zax                   |        | see also 2.1 + 2.2	in Grimaldi's book                                 |
| 03    | 18.01  | Logic 2                   | 9 Lewis-Zax                   |        | see also 2.2 + 2.3	in Grimaldi's book                                 |
| 04    | 25.01  | Logic 3                   | 12 Lewis-Zax                  |        | see also 2.4 + 2.5	in Grimaldi's book                                 |
| 04    | 26.01  | Logic 4                   | 12 Lewis-Zax                  |        | see also 2.5	in Grimaldi's book                                       |
| 05    | 01.02  | Set 1                     | 5 Lewis-Zax                   |        | see also 3.2 in Grimaldi's book                                       |
| 05    | 02.02  | Set 2                     | 5 Lewis-Zax                   |        | see also 3.3 in Grimaldi's book                                       |
| 06    | 08.02  | Relations 1               | 6 Lewis-Zax                   |        | see also 5.1 + 7.1 in Grimaldi's book                                 |
| 06    | 09.02  | Relations 2               | 14 Lewis-Zax                  |        | see also 7.4 in Grimaldi's book                                       |
| 07    | 15.02  | Relations 3               | 14 Lewis-Zax                  |        | see also 7.3 in Grimaldi's book                                       |
| 07    | 16.02  | Functions 1               | 6 Lewis-Zax                   |        | see also 5.2 + 5.3 in Grimaldi's book                                 |
| 08    | 22.02  | Functions 2               | 6 Lewis-Zax                   |        | see also 5.6 in Grimaldi's book                                       |
| 08    | 23.02  | Functions 3/Induction     | 3, 4 & 6 Lewis-Zax            |        | see also 5.6 in Grimaldi's book                                       |
| 09    | 01.03  | Induction                 | 3, 4, 6 & 8 Lewis-Zax         |        |                                                                       |
| 09    | 02.03  | Induction/Graph theory 1  | 6 & 8 Lewis-Zax/13 Lewis-Zax  |        | see also 8.1 in Grimaldi's book                                       |
| 10    | 08.03  | Graph theory 2            | 13/16 Lewis-Zax               |        | see also 11.1 + 11.2 in Grimaldi's book                               |
| 10    | 09.03  | Graph theory 3            | 13/16 Lewis-Zax               |        | see also 11.2 + 11.3 in Grimaldi's book                               |
| 11    | 15.03  | Graph theory 4            | 13/16 Lewis-Zax               |        | see also 11.4 + 11.5 in Grimaldi's book                               |
| 11    | 16.03  | Graph theory 5            | 13/16 Lewis-Zax               |        | see also 11.4 + 11.5 in Grimaldi's book                               |
| 12    | 22.03  | Combinatorics 1           | 22 Lewis-Zax                  |        | see also 1.1-1.3 in Grimaldi's book                                   |
| 12    | 23.03  | Combinatorics 2           | 23 Lewis-Zax                  |        | see also 1.1-1.3 in Grimaldi's book                                   |
| 13    | 29.03  | Finite state machines 1   | 19 Lewis-Zax                  |        | see also 6.1 in Grimaldi's book                                       |
| 13    | 30.03  | Finite state machines 2   | 19 Lewis-Zax                  |        | see also 6.2 in Grimaldi's book                                       |
| 14    |        | **EASTER**                | **NO LECTURE**                |        |                                                                       |
| 14    |        | **EASTER**                | **NO LECTURE**                |        |                                                                       |
| 15    | 12.04  | Languages 1               | 19 Lewis-Zax                  |        | see also 6.3 in Grimaldi's book                                       |
| 15    | 13.04  | Languages 2               | 20 Lewis-Zax                  |        | see also 12/13 Schaum's Outline of Discrete Mathematics, 3rd Edition  |
| 16    | 19.04  | Languages 3               | 20 Lewis-Zax                  |        |                                                                       |
| 16    | 20.04  | Languages 4               | 20 Lewis-Zax                  |        |                                                                       |
| 17    | 26.04  | Review I                  |                               |        |                                                                       |
| 18    | 03.05  | Review II                 |                               |        |                                                                       |