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
- Kapittel 7, Funksjoner:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/funksjoner.pdf
- Kapittel 8, Litt mer mengdel?re:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/litt-mer-mengdelaere.pdf
- Kapittel 9, Tillukninger og induktivt definerte mengder:
- Kapittel 10, Rekursivt definerte funksjoner:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/rekursivt-definerte-funksjoner.pdf
- Kapittel 11, Matematisk induksjon:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/matematisk-induksjon.pdf
- Kapittel 23, Formelle spr?k og grammatikker:
https://github.uio.no/sigursev/in1150-ressurser/blob/main/pdf/formelle-spraak-og-grammatikker.pdf