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 |