MAT-INF3600 – Matematisk logikk

Beskrivelse av emnet

Emnet tar for seg første ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.

Etter å ha fullført emnet kjenner du til:

Studenter må hvert semester søke og få plass på undervisningen og melde seg til eksamen i Studentweb.

I tillegg til generell studiekompetanse eller realkompetanse må du dekke spesielle opptakskrav.

Du må ha:

Og en av disse:

Fysikk (1+2)
Kjemi (1+2)
Biologi (1+2)
Informasjonsteknologi (1+2)
Geofag (1+2)
Teknologi og forskningslære (1+2)

Emner som tilsvarer de to første årene i et bachelorprogram i matematikk og/eller informatikk vil være en fordel.

4 timer forelesning/regneøvelse hver uke hele semesteret.

Emnet kan undervises på norsk dersom foreleser og alle studenter på første forelesning ønsker det.

Avsluttende skriftlig eksamen som teller 100 % ved sensurering.

Dette emnet har 1 obligatorisk øvelse som må være godkjent før avsluttende eksamen.

Ingen hjelpemidler er tillatt.

Dersom emnet undervises på engelsk vil det bare tilbys eksamensoppgavetekst på engelsk. Du kan besvare eksamen på norsk, svensk, dansk eller engelsk.

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen

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 under ordinær eksamen, eller som ikke har bestått.

Andre veiledninger og ressurser finner du på fellessiden om eksamen ved UiO.

Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 04:58:45