|
||||||||||||
|
||||||||||||
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.
Det kreves ikke avlagte eksamener fra andre universitetsemner.
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 MAT3600 - 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
Informasjon om ny og utsatt prøve (såkalt kontinuasjon) finner du her .
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