Kort om emnet

Dette er et videreg?ende emne i logikk. Emnet fokuserer p? sammenhengen mellom sannhet og bevisbarhet, og g?r gjennom mange grunnleggende begreper. Flere anvendelser av logikk innen informatikk blir gjennomg?tt.

Hva l?rer du?

Etter ? ha tatt IN4070 kan du:

  • gj?re rede for grunnleggende begreper som oppfyllbarhet, gyldighet, bevis, konsistens, sunnhet og kompletthet.
  • forklare skillet mellom og sammenhengene mellom struktur (syntaks) og innhold (semantikk) for logiske spr?k, s?rlig utsagnslogikk og f?rsteordens logikk.
  • f?re bevis i og argumentere for korrekthet for formelle bevissystemer (kalkyler) for utsagnslogikk og f?rsteordens logikk.
  • greie ut om utvalgte tradisjonelle og moderne informatikkanvendelser av logiske spr?k.
  • forklare og utf?re omskrivinger mellom forskjellige logiske spr?k basert p? f?rsteordens logikk

Opptak til emnet

Studenter m? hvert semester?s?ke og f? plass p? undervisningen og melde seg til eksamen?i Studentweb.

Studenter tatt opp til andre masterprogrammer kan, etter s?knad, f? adgang til emnet hvis dette er klarert med eget program.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke om opptak til v?re?studieprogrammer, eller s?ke om ??bli enkeltemnestudent.

IN1150/INF1080

Overlappende emner

Undervisning

4 timer forelesning og 2 timer gruppeundervisning per uke. Det kreves gjennomf?ring av obligatoriske ?velser.?Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.

Eksamen

4 timer skriftlig digital eksamen. Obligatoriske ?velser m? v?re godkjente for ? kunne g? opp til eksamen.

Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner:?INF3170 – Logikk (videref?rt), IN3070 – Logikk, INF4170 – Logikk (nedlagt), INF4171 – Logikk (videref?rt), IN318, SLI310

Hjelpemidler til eksamen