Forelesningsplan

Uke Tema Avsnitt
5.–9. januar Logikk 2.1–2.3
12.–16. januar Logikk 2.3–2.5
19.–23. januar Telling 1.1–1.4
26.–30. januar Mengdelære 3.1–3.2
2.–6. februar Set theory and induction 3.3, 8.1, 4.1
9.–13. februar induction and recursion 4.1–4.2
16.–20. februar Relations 5.1, 7.1–7.4
23.–27. februar Funksjoner 5.2–5.3, 5.5–5.6
2.–6. mars Endelige tilstandmaskiner 6.1–6.3
9.–13. mars Grafer 11.1–11.4
16.–20. mars Grafer og trær 11.5, 12.1–12.2
23.–27. mars Trær og kompleksitet 12.3, 5.7–5.8
8.–10. april Dijkstra, Kruskal og Prim 13.1-13.2
13.–17. april Repetisjon og regning
20.–21. april Eksamensregning

Påskeferie.

Det blir garantert endringer i planen.

2015-02-16, yuqi