MAT4600 – Matematisk logikk
Beskrivelse av emnet
Kort om emnet
En innf?ring i f?rste ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.
Hva l?rer du?
Forst?else av samspillet mellom spr?k, tolkning og teori i formelle logikker. Forst?else av en matematisk modell for beregnbarhet.
Opptak og adgangsregulering
Studenter m? hvert semester s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.
Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.
Forkunnskaper
Anbefalte forkunnskaper
Emnet bygger p? MAT1030 – Diskret matematikk (nedlagt) og HUMIT1750 – Logikk og beregninger (nedlagt). Frav?r av disse emnene kan kompenseres av en generell matematikk-kompetanse p? omlag 40 studiepoeng.
Overlappende emner
Emnet overlapper 10 studiepoeng mot MAT3600 – Matematisk logikk (nedlagt).
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.
Undervisning
Undervises f?rste gang h?sten 2004. Emnet vil strekke seg over et helt semester med fire timers undervisning/regne?velser pr. uke.
Eksamen
Innlevering av en obligatorisk oppgave som skal godkjennes. Endelig karakter baseres p? avsluttende skriftlig eksamen. Bokstavkarakterer.
Tillatte hjelpemidler til eksamen: Ingen
Eksamensspr?k
Dersom emnet undervises p? engelsk vil det bare tilbys eksamensoppgavetekst p? engelsk.
Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.
Begrunnelse og klage
Adgang til ny eller utsatt eksamen
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