Matematisk logikk

En spesialisering innen Masterstudiet i Matematikk ved UiO

Studiets oppbygning

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, filosofi og teoretisk databehandling.

Ved UiO finner vi forskning og undervisning i logikk ved Matematisk institutt, Institutt for informatikk og Institutt for filosofi. Det er et vel etablert Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼö mellom logikk-gruppene ved disse tre instituttene.

Matematikk-studenter som tidlig vet at de vil studere logikk, kan ta logikkrelaterte kurs som gis ved Institutt for filosofi eller Institutt for informatikk, men undervisningen i logikk under mastergraden bygger ikke p? det. Derimot skal emnet MAT-INF3600 ¨C Matematisk logikk inng? i det faglige grunnlaget for opptak til denne spesialiseringen.

Om Masterstudiet i matematikk med "Matematisk logikk" som spesialisering

For ? kunne skrive en masteroppgave innenfor feltet Matematisk logikk, m? man ha fullf?rt bachelorgraden Matematikk med informatikk, med studieretningen i matematikk, eller ha tilsvarende utdanning. Deretter m? MAT4500 ¨C Topologi tas senest i begynnelsen av masterstudiet.

Det er anledning til ? skrive en lang masteroppgave (60 studiepoeng) eller en kort masteroppgave (30 studiepoeng). For begge oppgavetyper m? man ta ytterlige 30 studiepoeng innen logikk i form av et spesialpensum.

En spesialisering i logikk kan kombineres med andre interesser. Erfaringsmessig har mange masterstudenter i logikk en tilleggsinteresse i informatikk, filosofi eller lingvistikk. Logikk-milj?et ved UiO er mangfoldig, og for enkelte oppgavetyper er det aktuelt med ekstern veiledning ved et annet institutt.

Et eksempel p? en studieplan med lang masteroppgave:

Denne studieveiene er bare ment som et eksempel. Den enkelte students studievei p? masterniv? vil bli lagt opp i Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼö med veilederen med utgangspunkt i studentens bakgrunn og interesser og med tanke p? temaet for masteroppgaven.

Veileder og mer informasjon:
Ta gjerne kontakt med Lars Kristiansen for ? avtale en samtale.