MAT-INF3600 – Matematisk logikk

Kort om emnet

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

Hva lærer du?

Etter å ha fullført emnet kjenner du til:

• syntaks og sematikk for førsteordens logikk
• kompletthetsteoremet for førsteordens logikk
• kompakthetsteoremet og grunnleggende modellteori
• Gödels første ufullstendighetsteorem

Opptak til emnet

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

Spesielle opptakskrav

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

Du må ha:

• Matematikk R1 (eller Matematikk S1 og S2) + R2

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)

De spesielle opptakskravene kan også dekkes med fag fra videregående opplæring før Kunnskapsløftet, eller på andre måter.

Anbefalte forkunnskaper

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

Overlappende emner

• 10 studiepoeng overlapp med MAT3600 – Matematisk logikk (nedlagt).
• 10 studiepoeng overlapp med MAT4600 – Matematisk logikk (nedlagt).
• 10 studiepoeng overlapp med MA250.
• 10 studiepoeng overlapp med MA250.
• 10 studiepoeng overlapp med MA150.
• 10 studiepoeng overlapp med MA231.
• 6 studiepoeng overlapp med MA130.
• 6 studiepoeng overlapp med MA230.
• 4 studiepoeng overlapp med MA350.

Undervisning

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.

Eksamen

Avsluttende skriftlig eksamen som teller 100 % ved sensurering.

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

Hjelpemidler til eksamen

Ingen hjelpemidler er tillatt.

Eksamensspråk

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

Karakterskala

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

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr både utsatt og ny eksamen. Les mer:

• Syk på eksamen / utsatt eksamen
• Trekk under eksamen / ta eksamen på nytt

Mer om eksamen ved UiO

• Kildebruk og referanser
• Tilrettelegging på eksamen
• Trekk fra eksamen
• Syk på eksamen / utsatt eksamen
• Begrunnelse og klage
• Ta eksamen på nytt
• Fusk/forsøk på fusk

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