|
||||||||||||
|
||||||||||||
En innføring i første ordens logikk fram 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.
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 HUMIT1750 - Logikk og beregninger. Fravær av disse emnene kan kompenseres av en generell matematikk-kompetanse på omlag 40 studiepoeng.
Emnet overlapper 10 studiepoeng mot MAT4600 - Matematisk logikk.
Emnet overlapper 10 studiepoeng mot MA 250.
* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.
Undervises første gang høsten 2004. Emnet vil strekke seg over et helt semester med fire timers undervisning/regneøvelser pr. uke.
Innlevering av en obligatorisk oppgave som skal godkjennes. Endelig karakter baseres på avsluttende skriftlig eksamen. Bokstavkarakterer.
Tillatte hjelpemidler til eksamen: Ingen
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
Besøksadresse:
Niels Henrik Abels hus, Moltke Moes vei 35
Postadresse:
Postboks 1053, Blindern
0316 Oslo
Ekspedisjonstid:
Mandag-fredag 09:00-14:30