Kort om emnet

Dette er et emne i grunnleggende matematiske og logiske metoder. Det legges vekt p? forst?else og tilvenning av matematiske begreper og notasjon som er relevante for et studium i informatikk. Emnet ?ver opp evnen til ? tenke systematisk fra antakelser, l?se teoretiske problemer, samt formalisere og gjennomf?re matematiske resonnementer selv.

Hva l?rer du?

Etter ? ha tatt IN1150 kan du:

  • gjennomf?re, forst? og formalisere matematiske resonnementer ved ? anvende ulike bevismetoder.
  • anvende grunnleggende mengdel?re og kjenne til grunnleggende notasjon og terminologi for mengder.
  • forst? grunnleggende utsagnslogikk og f?rste-ordens logikk, det vil si logiske begreper som valuasjon, logisk ekvivalens, logisk konsekvens, gyldighet, oppfyllbarhet, falsifserbarhet og kontradiksjon.
  • definere, anvende og regne p? grunnleggende matematiske strukturer, som mengder, tupler, relasjoner, funksjoner, ekvivalensklasser, partisjoner, formler, strenger, spr?k, grafer, regul?re uttrykk.
  • definere mengder induktivt, definere funksjoner rekursivt p? disse mengdene og bevise p?stander om disse ved hjelp av induksjonbevis.
  • anvende og gj?re rede for grunnleggende kombinatorikk, grafteori, formelle spr?k og logiske kalkyler.

Opptak til emnet

Studenter ved UiO?s?ker plass p? undervisning og melder seg til eksamen i Studentweb.

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.

Overlappende emner

Undervisning

I v?rsemesteret tilbys studentene 4 timer forelesning og 2 timer gruppeundervisning per uke, kombinert med et nettbasert undervisningstilbud. Det kreves gjennomf?ring av obligatoriske ?velser. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 亚博娱乐官网_亚博pt手机客户端登录 under retningslinjer for obligatoriske oppgaver.

I h?stsemesteret tilbys nettbasert undervisning med video og interaktive oppgaver. Videoinnholdet tilsvarer 4 timer forelesning i uken. Faglig dialog og oppf?lging gis gjennom samtaletjenester og/eller diskusjonsforum. Det legges til rette for innlevering av obligatoriske ?velser med tilbakemelding fra fagansvarlige og medstudenter. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 亚博娱乐官网_亚博pt手机客户端登录 under retningslinjer for obligatoriske oppgaver.

Eksamen

4 timers skriftlig digital eksamen. Obligatoriske oppgaver 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:?INF1080

Hjelpemidler til eksamen

Ingen hjelpemidler er tillatt.

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

Dette emnet undervises ved b?de v?r- og h?st-semesteret, og tilbyr derfor ikke utsatt eksamen

Mer om eksamen ved UiO

Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.

Sist hentet fra Felles Studentsystem (FS) 10. nov. 2024 04:20:33

Fakta om emnet

Niv?
Bachelor
Studiepoeng
10
Undervisning
V?r og h?st
Eksamen
V?r og h?st
Undervisningsspr?k
Norsk