HUMIT1750MN – Logikk og beregninger
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
Kort om emnet
Innf?ring i utsagnslogikk og predikatlogikk. Det legges vekt p? b?de logikk som spr?k og p?visning av logisk gyldighet. Formelle modeller for beregninger - endelige automater og turingmaskiner - og bruk av predikatlogikk til spesifikasjon og p?visning av korrekthet av modellene.
Hva l?rer du?
? kunne bruke utsagnslogikk og predikatlogikk som formelle spr?k. ? kunne vise hvordan en kan argumentere for logisk gyldighet, eller vise ved falsifikasjon at noe ikke er logisk gyldig.
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
Obligatoriske forkunnskaper
Ingen obligatoriske forkunnskaper utover generell studiekompetanse.Overlappende emner
5 studiepoengs overlapp mot HUMIT1751. 5 studiepoengs overlapp mot tidligere FIL2400. Fullt overlapp mot gamle SLI110. ? studiepoengs overlapp mot FIL1004.
Undervisning
Emnet strekker seg over et helt semester med 6 timer hver uke - delt mellom seminarerer og oppgavel?sning i grupper.
Eksamen
Krav om 4 obligatoriske oppgaver i l?pet av emnet, som skal v?re godkjent for ? f? g? opp til eksamen. Obligatoriske oppgaver er gyldige i 5 ?r, med mindre emnet endres.
Det gis en 3-timers skriftlig eksamen ved slutten av semesteret. Karakterskala: A-F.
Adgang til ny eller utsatt eksamen
Dette emnet tilbyr ny eksamen i begynnelsen av p?f?lgende semester til kandidater som stryker eller trekker seg under ordin?r eksamen. For n?rmere opplysninger, se
/studier/admin/eksamen/sykdom-utsatt/mn/index.html
Annet
Merk at det er obligatorisk oppm?te p? f?rste forelesning.