index.html

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

Sannhetsverditabell i LaTeX
Fem bevismetoder

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

Publisert 4. feb. 2025 12:53 - Sist endret 18. feb. 2025 12:14