|
||||||||||||||
|
||||||||||||||
Kurset tar for seg første ordens logikk fream til kompletthetsteoremet og ufullstendighetsteoremet.
Forståelse av samspillet mellom språk, tolkning og teori i formelle logikker. Forståelse av en matematisk modell for beregnbarhet.
Studenter med studierett på program eller enkeltemner må hvert semester søke undervisningsopptak til emner i StudentWeb.
Dersom du ikke allerede har studieplass ved UiO, kan du lese om studietilbud og opptak til program, eller om muligheten for opptak til enkeltemner med ledig kapasitet.
Det er ikke mulig å ta dette emnet som privatist. Kun studenter med undervisningsopptak til emnet kan delta i undervisningen og fremstille seg til eksamen.
I tillegg til generell studiekompetanse må du ha bestått enten 2MX, 2MY eller 3MZ, og enten 3MX, 3MY, 3FY, 3KJ, 3BI, eller emnekombinasjonen 2KJ+3BT eller emnekombinasjonen 2BI+3BT fra videregående skole. Det er i noen tilfeller mulig å dekke fagkrav på andre måter enn med fag fra norsk videregående skole.
Emnet bygger på MAT1030 - Diskret matematikk og INF1800 - Logikk og beregnbarhet. Fravær av disse emnene kan kompenseres av en generell matematikk-kompetanse på omlag 40 studiepoeng.
10 studiepoeng mot MAT3600 - Matematisk logikk. 10 studiepoeng mot MAT4600 - Matematisk logikk. 10 studiepoeng mot MA250.
* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.
Fire timers undervisning/regneøvelser pr. uke.
Undervisningen går over hele semesteret i henhold til § 4.1 i Forskrift om studier og eksamener ved Universitetet i Oslo.
En obligatorisk oppgave må bestås innen gitte frister for å kunne gå opp til avsluttende eksamen. Endelig karakter gis ved avsluttende skriftlig eksamen som teller 100%.
Ingen hjelpemidler er tillatt.
Emnet bruker gradert bokstavkarakterskala fra A til F, der A er beste karakter og F er stryk, jf. § 6.1 om karaktersystemet i Forskrift om studier og eksamener ved UiO.
Dette emnet tilbyr kun utsatt eksamen i hht § 5.5.1 i Forskrift om studier og eksamener ved Universitetet i Oslo.
Dette betyr at studenter som dokumenterer gyldig fravær fra eksamen innen gitte frister, vil kunne få en utsatt eksamen.
Studenter som stryker eller trekker seg under ordinær eksamen, får ikke mulighet til å ta utsatt eksamen, men kan ta eksamen neste gang det gis ordinær eksamen i emnet.
Generelle opplysninger om ny og utsatt eksamen
Mer informasjon om eksamen ved MN-fakultetet kan du lese på fakultetets eksamenssider
En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på eksamen.
Besøksadresse:
Niels Henrik Abels hus, Moltke Moes vei 35
Postadresse:
Postboks 1053, Blindern
0316 Oslo
Ekspedisjonstid:
Mandag-fredag 09:00-14:30