Gruppe 5
Her finnes ressursene fra gruppetimene i gruppe 5, onsdager kl 10:15 p? Pascal.
Ressurser fra gruppetimene
Uke | Ressurser |
---|---|
Uke 1: Utsagnslogikk og mengdel?re |
|
Uke 2: Semantikk for utsagnslogikk og utsagnslogiske begreper | Presentasjon |
Uke 3: Beviser og relasjoner | Presentasjon |
Uke 4: Funksjoner og mer mengdel?re | Presentasjon |
Uke 5: Repetisjon bevis | Presentasjon |
Uke 6: Tillukninger, inuktivt definerte mengder og rekursjon | Presentasjon |
Uke 7: Matematisk induksjon og strukturell induksjon | Presentasjon |
Uke 8: F?rsteordens spr?k og representasjon av kvantifiserte utsagn | Presentasjon |
Uke 9: P?ske | |
Uke 10: Modeller | Presentasjon |
Uke 11: Ekvivalenser, partisjoner og kombinatorikk | Presentasjon |
Uke 12: Mer kombinatorikk og abstrakt algebra | Presentasjon |
Kontakt
For sp?rsm?l om gruppetimene, forslag eller tilbakemeldinger er det bare ? ta kontakt p? edvarth@ifi.uio.no.