Ressurser - Gruppe 2
Her legger jeg ut slides og eventuelle andre ressurser jeg tror kan v?re nyttige i l?pet av semesteret.
Gruppetimene mine skjer p? Python hver Onsdag kl. 10 :)
Ressurser
Slides:
- Kapittel 1, Mengdel?re:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/mengdelaere.pdf
- Kapittel 2, Utsagnslogikk:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/utsagnslogikk.pdf
- Kapittel 3, Semantikk for utsagnslogikk:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/semantikk-for-utsagnslogikk.pdf
- Kapittel 4, Utsagnslogiske begreper:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/utsagnslogiske-begreper.pdf
- Kapittel 5, Bevis, formodninger og moteksempler:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/bevis-formodninger-og-moteksempler.pdf
- Kapittel 6, Relasjoner:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/relasjoner.pdf