Ressurser for gruppe 9
Velkommen til mine gruppetimer i Prolog kl. 10:15-12:00 p? tirsdager :)
Du kan gjerne sende meg en mail p? arthuk@uio.no hvis du lurer p? noe eller vil foresl? hva jeg g?r gjennom i gruppetimen. Jeg er veldig ?pen til forslag!
Du kan ogs? stille sp?rsm?l p? Discourse.
Ekstra ressurser
Presentasjoner
| 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 |
| Tirsdag 22. april |
Kombinatorikk (kap 19 + litt repetisjon fra 18) |
Presentasjon/notater |
| Tirsdag 29. april |
Litt abstrakt algebra og grafteori (kap 20&21) |
Presentasjon/notater |
| Tirsdag 13. mai |
Formelle spr?k, gramatikker og naturlig deduksjon (kap 23&24) |
Presentasjon/notater |
| Tirsdag 20. mai |
Repetisjon: Induktivt definerte mengder, rekursivt definerte funksjoner, formelle spr?k og grammatikker (kap 9, 10, 23) |
Presentasjon/notater |
Publisert 4. feb. 2025 12:53
- Sist endret 20. mai 2025 12:22