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