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.

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

Overlappende emner

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

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

Sist hentet fra Felles Studentsystem (FS) 22. des. 2024 10:15:17

Fakta om emnet

Niv?
Bachelor
Studiepoeng
10
Undervisning
H?st
Eksamen
H?st
Undervisningsspr?k
Engelsk