MAT-INF3600 - Matematisk logikk
Timeplan, pensum og eksamensdato
Velg semester
Kort om emnet
Kurset tar for seg første ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.
Hva lærer du?
Forståelse av samspillet mellom språk, tolkning og teori i formelle logikker.
Opptak og adgangsregulering
Studenter må hvert semester søke og få plass på undervisningen og melde seg til eksamen i StudentWeb.
Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre studieprogrammer, eller søke om å bli enkeltemnestudent.
Det er ikke mulig å ta dette emnet som privatist. Du må ha plass på undervisningen for å ta eksamen.
Forkunnskaper
Obligatoriske forkunnskaper
I tillegg til generell studiekompetanse eller realkompetanse må du dekke spesielle opptakskrav:
En av disse:
- Matematikk R1
- Matematikk (S1+S2)
Og en av disse:
- Matematikk (R1+R2)
- Fysikk (1+2)
- Kjemi (1+2)
- Biologi (1+2)
- Informasjonsteknologi (1+2)
- Geofag (1+2)
- Teknologi og forskningslære (1+2)
De spesielle opptakskravene kan også dekkes med fag fra videregående opplæring før Kunnskapsløftet, eller på andre måter. Les mer om spesielle opptakskrav.
Anbefalte forkunnskaper
Det vil være en fordel med emner tilsvarende emnene fra de to første årene i bachelorprogrammet MIT eller INF-PRO
Overlappende emner
- 10 studiepoeng overlapp mot MAT3600 - Matematisk logikk (nedlagt)
- 10 studiepoeng overlapp mot MAT4600 - Matematisk logikk (nedlagt)
- 10 studiepoeng overlapp mot MA250
- 10 studiepoeng overlapp mot MA150
- 10 studiepoeng overlapp mot MA231
- 6 studiepoeng overlapp mot MA130
- 6 studiepoeng overlapp mot MA230
- 4 studiepoeng overlapp mot MA350
* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.
Undervisning
4 timer forelesning/regneøvelse hver uke hele semesteret.
Eksamen
1 obligatorisk oppgave. Skriftlig eksamen.
Hjelpemidler
Ingen hjelpemidler er tillatt.
Eksamensspråk
Studenter kan, på emner som undervises på norsk, be om eksamensoppgaven på bokmål, nynorsk og engelsk. Frist for å registrere ønsket eksamensspråk er 1. september for høstsemestre og 1. februar for vårsemestre. Vi henviser til nettsidene til Det matematisk- naturvitenskaplige fakultet for fremgangsmåte
Dersom emnet undervises på engelsk vil det bare tilby eksamensoppgavetekst på engelsk.
Denne ordningen gjelder også for emner hvor vurderingsform er avhengig av antall studenter og skriftlig eksamen velges av foreleser.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.
Begrunnelse og klage
Adgang til ny eller utsatt eksamen
Studenter som dokumenterer gyldig fravær fra ordinær eksamen, kan ta utsatt eksamen i starten av neste semester.
Det tilbys ikke ny eksamen til studenter som har trukket seg fra ordinær eksamen, eller som ikke har bestått.
Trekk fra eksamen
Det er mulig å ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensforsøk.
Tilrettelagt eksamen
En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på eksamen.
Evaluering av emnet
Tilbakemelding fra studentene våre er avgjørende for at vi skal kunne tilby best mulige emner og studieprogrammer. Vi gjennomfører fortløpende evaluering av dette emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende, periodisk evaluering av emnet.