Timeplan, pensum og eksamensdato

Velg semester

Endringer på grunn av koronaviruset

Høsten 2020 planlegger vi for at undervisning og eksamen gjennomføres slik det er beskrevet i emnebeskrivelsen og på semestersidene, men det kan komme endringer på grunn av korona-situasjonen. Du får varsler om eventuelle endringer på semestersiden og/eller i Canvas.

Våren 2020 ble undervisning og eksamen digital. Se endringer og felles retningslinjer for eksamener ved MN-fakultetet våren 2020.

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 IN3070 skal du kunne:

  • 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.

Spesielle opptakskrav

I tillegg til generell studiekompetanse eller realkompetanse må du dekke spesielle opptakskrav:

  • Matematikk R1 eller Matematikk (S1+S2)

De spesielle opptakskravene kan også dekkes med fag fra videregående opplæring før Kunnskapsløftet, eller på andre måter. Les mer om spesielle opptakskrav.

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 samarbeid 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), IN4070 – Logikk, INF4170 – Logikk (nedlagt), INF4171 – Logikk (videreført), IN318, SLI310

Hjelpemidler til eksamen

Ingen hjelpemidler tillatt.

Eksamensspråk

Dersom emnet undervises på engelsk vil det bare tilbys eksamensoppgavetekst på engelsk.

Du kan besvare eksamen på norsk, svensk, dansk eller engelsk.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen

Adgang til ny eller utsatt eksamen

Studenter som dokumenterer gyldig fravær fra ordinær eksamen, kan ta utsatt eksamen i starten av neste semester.

Det tilbys ikke ny eksamen til studenter som har trukket seg under ordinær eksamen, eller som ikke har bestått.

Tilrettelagt eksamen, kildebruk, begrunnelse og klage

Se mer om eksamen ved UiO

Sist hentet fra Felles Studentsystem (FS) 9. aug. 2020 04:15:38

Fakta om emnet

Studiepoeng
10
Nivå
Bachelor
Undervisning
Høst
Eksamen
Høst
Undervisningsspråk
Norsk (engelsk på forespørsel)