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
Publisert 4. feb. 2025 12:53 - Sist endret 1. apr. 2025 12:58