INF4170 – Logikk
Beskrivelse av emnet
Kort om emnet
Emnet introduserer logiske kalkyler som egner seg for beviss?k. Sentralt st?r sekventkalkyler for klassisk og intuisjonistisk logikk, tabl?metoden og resolusjon. Grunnleggende begreper som oppfyllbarhet, konsistens, gyldighet, sunnhet og kompletthet, og sammenhengen mellom disse, blir gjennomg?tt.
Hva l?rer du?
Kurset skal gi studenter innsikt i logikk som en basis for studier i teoretisk databehandling. Emnet kan ogs? v?re et utgangspunkt for videre studier i logikk eller automatisk bevisf?ring for anvendelse i databehandling.
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 HUMIT1750 – Logikk og beregninger (nedlagt)/SLI 110/INF 120 eller tilsvarende. Kurset kan f?lges uten disse forkunnskapene med noe st?rre egeninnsats.
Overlappende emner
10 studiepoeng mot INF3170 – Logikk (videref?rt) og 10 studiepoeng mot IN 318/SLI 310.
Undervisning
2 timer forelesning og 2 timer gruppe?velser per uke. Det kreves gjennomf?ring av obligatoriske oppgaver for ? kunne g? opp til eksamen.
Eksamen
Skriftlig eller muntlig avsluttende eksamen.. Bokstavkarakter (A - F).
Informasjon om utsatt pr?ve (kontinuasjon) finner du her: http://www.matnat.uio.no/studier/eksamen/kontinuasjon.html
Mer informasjon om eksamen ved MN-fakultetet kan du lese p? fakultetets eksamenssider: http://www.matnat.uio.no/studier/eksamen/
Annet
Det er obligatorisk oppm?te p? f?rste forelesning. Ved praktisering av 3-gangers regelen skal emnet sees i sammenheng med IN318/SLI310 og INF3170.
Tilsynssensor for emnet er: Lars Kristiansen