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.