Hva er "Matematisk Logikk" ?
Logikk er i utgangspunktet læren om hvordan man kan systematisere og formalisere menneskelige resonnementer. Logikk som fag henter sine røtter fra oldtiden og kunnskaper i logikk har inngått som en del av den klassiske dannelsen. Logikk har tradisjonelt vært nært knyttet opp mot filosofi, og logikk studeres fortsatt som en del av filosofien.
Etter at mengdeteoretiske metoder ble tatt i bruk i stadig større grad innen matematikken utover 1800-tallet oppsto det et behov for å bygge matematikken på et trygt fundament. Den matematiske logikken kan dels sees på som forsøk på å lage matematiske modeller for matematikken selv, dels som logikk hvor man bruker metoder fra matematikken for å studere den.
Ved siden av å representere en teori for matematikkens grunnlag, er også logikk et anvendt fag, for UiO's del har det mest vært fokusert på anvendelser innen lingvistikk, datalingvistikk og teoretisk databehandling.
Ved UiO finner vi forskning og undervisning i logikk ved flere
institutter, Matematisk Institutt, Institutt for lingvistikk og nordiske
studier, Institutt for informatikk og Institutt for filosofi, ide- og
kulturhistorie og klassiske språk. Det er et vel etablert undervisningssamarbeid mellom logikk-gruppen ved Matematisk Institutt og de andre logikk-gruppene. Det er også et etablert samarbeide med en lærer ved Ingeniørutdanningen ved Høgskolen i Oslo.
Begynnerkurset i logikk HUMIT 1750
Logikk og beregninger tilbys ved Institutt for lingvistikk og
nordiske studier og er beregnet på studenter innen programmene for datalingvistikk og informatikk. Matematikk-studenter som tidlig vet at de vil studere logikk, kan ta dette emnet i 5. semester, men undervisningen i logikk under mastergraden bygger ikke på det.
Om masterstudiet i matematikk med "Matematisk Logikk" som
spesialisering.
For å kunne skrive en masteroppgave innenfor feltet Matematisk Logikk, må man ha fullført bachelorgraden i
Matematikk, Informatikk og Teknologi, med studieretningen i matematikk, eller ha tilsvarende utdanning.
Deretter må følgende emner taes senest i begynnelsen av mastersudiet:
MAT 3500 /
MAT 4500
(Topologi) og MAT 3600
/ MAT 4600
(Matematisk Logikk).
Det er anledning til å skrive en lang masteroppgave (60 studiepoeng) og en kort masteroppgave (30 studiepoeng). For begge oppgavetyper må man ta ytterlige 30 studiepoeng innen logikk, enten i form av et spesialpensum eller ved å ta MAT 4620 Matematisk Logikk II og / eller MAT 4610 Aksiomatisk mengdelære. Dette er to 15-poengs emner som vil bli gitt alternerende i vårsemestrene.
| 10. semester | MAT 4620 /MAT 4610 | Masteroppgave (lang) | ||||||||||||||||||||||||||||
| 9. semester | Masteroppgave (lang) | |||||||||||||||||||||||||||||
| 8. semester | MAT 4610 /MAT 4620 | Masteroppgave (lang) | ||||||||||||||||||||||||||||
| 7. semester | MAT 4600 | MAT 4500 | Valgfritt Masteremne | |||||||||||||||||||||||||||
| 6. semester | MAT 2200 | MAT 2000 | Valgfritt | |||||||||||||||||||||||||||
| 5. semester | MAT 2300 | HUMIT 1750 / valgfritt | Ex.phil | |||||||||||||||||||||||||||
| 4. semester | MAT1300 | Valgfritt | Valgfritt | |||||||||||||||||||||||||||
| 3. semester | MAT 1120 | Valgfritt / HUMIT 1750 | INF 1020 | |||||||||||||||||||||||||||
| 2. semester | MAT 1110 | STK 1100 | INF 1010 | |||||||||||||||||||||||||||
| 1. semester | MAT 1100 | MAT-INF 1100 | INF 1000 | |||||||||||||||||||||||||||
| 10 studiepoeng | 10 studiepoeng | 10 studiepoeng | ||||||||||||||||||||||||||||
Alternativt forslag
| 10. semester | MAT 4620 /MAT 4610 | Masteroppgave (lang) | ||||||||||||||||||||||||||||
| 9. semester | Masteroppgave (lang) | |||||||||||||||||||||||||||||
| 8. semester | MAT 4610 /MAT 4620 | Masteroppgave (lang) | ||||||||||||||||||||||||||||
| 7. semester | MAT 4500 | Valgfritt Masteremne | Valgfritt Masteremne | |||||||||||||||||||||||||||
| 6. semester | MAT 2200 | MAT 2000 | Valgfritt | |||||||||||||||||||||||||||
| 5. semester | MAT 2300 | MAt 3600 / valgfritt | Ex.phil | |||||||||||||||||||||||||||
| 4. semester | MAT1300 | Valgfritt | Valgfritt | |||||||||||||||||||||||||||
| 3. semester | MAT 1120 | HUMIT 1750 | INF 1020 | |||||||||||||||||||||||||||
| 2. semester | MAT 1110 | STK 1100 | INF 1010 | |||||||||||||||||||||||||||
| 1. semester | MAT 1100 | MAT-INF 1100 | INF 1000 | |||||||||||||||||||||||||||
| 10 studiepoeng | 10 studiepoeng | 10 studiepoeng | ||||||||||||||||||||||||||||