MAT-INF3600 – Matematisk logikk
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
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:
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.