Ekstra ressurser
Dato | Tema | Presentasjon/merknader |
---|---|---|
Tirsdag 28. januar | Mengdel?re og utsagnslogikk (kap 1&2) | Presentasjon/notater |
Tirsdag 4. februar | Semantikk for utsagnslogikk (kap 3&4) | Presentasjon/notater |
Tirsdag 11. februar | Bevis, formodninger og moteksempler (kap 5) | Presentasjon/notater |
Tirsdag 18. februar | Relasjoner og funksjoner (kap 6&7) | Presentasjon/notater |
Tirsdag 25. februar | Litt mer mengdel?re, tillukninger og induktivt definerte mengder (kap 8&9) | Presentasjon/notater |
Tirsdag 4. mars | Rekursivt definerte funksjoner og matematisk induksjon (kap 10&11) | Presentasjon/notater |
Tirsdag 11. mars | Repetisjon: Relasjoner og (rekursivt definerte) funksjoner (kap 6, 7, 10) | Presentasjon/notater |
Tirsdag 18. mars | Strukturell induksjon (kap 12) | Presentasjon/notater |
Tirsdag 25. mars | F?rsteordens spr?k, kvantifiserte utsagn (kap 13&14) | Presentasjon/notater |
Tirsdag 1. april | Tolkning i og resonnering om modeller (kap 15&16) | Presentasjon/notater |