MAT-INF3600 ¨C 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 ¨C Matematisk logikk (nedlagt).
• 10 studiepoeng overlapp med MAT4600 ¨C 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.