| Uke | Tema | Presentasjon/Ressurser |
|---|---|---|
| 5 |
Intro, mengdel?re og utsagnslogikk (Kap. 1 & 2) |
|
| 6 |
Semantikk for utsagnslogikk og utsagnslogiske begreper (Kap. 3 & 4) |
(OBS! Husk ? endre til \begin{table}[!h]) |
| 7 |
Bevis, formodninger og moteksempler (Kap. 5) - Bare gruppe 6 denne uken |
|
| 11 |
Repetisjon (Kap. 1 - 12) |
|
| 13 |
F?rsteordens spr?k og representasjon av kvantifiserte utsagn (Kap. 13 & 14) |
|
| 14 |
Tolkninger i modeller og resonnering om modeller (Kap. 15 & 16) |
|
| 15 |
Abstraksjon med ekvivalenser og partisjoner og kombinatorikk (Kap. 17 & 18) |
|
| 17 |
Litt mer om kombinatorikk (Kap. 19) |
|
| 20 |
Repetisjon (Hele pensum) |