IN1150 – Logiske metoder
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
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
- 10 studiepoeng overlapp med INF1080 – Logiske metoder for informatikk (videref?rt).
- 5 studiepoeng overlapp med INF1800 – Logikk og beregninger (nedlagt).
- 5 studiepoeng overlapp med MAT1030 – Diskret matematikk (nedlagt).
- 5 studiepoeng overlapp med HUMIT1750 – Logikk og beregninger (nedlagt).
- 5 studiepoeng overlapp med HUMIT1750MN – Logikk og beregninger (nedlagt).
- 5 studiepoeng overlapp med SLI1.
- 5 studiepoeng overlapp med SLI110.
- 5 studiepoeng overlapp med HUMIT1751 – Beregnbarhet (nedlagt).
- 5 studiepoeng overlapp med FIL1400.
- 5 studiepoeng overlapp med MAT1140 – Strukturer og argumenter.
Undervisning
Emnet har 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 篮球即时比分_nba比分直播-彩客网重点推荐 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 tilbyr b?de utsatt og ny eksamen. Les mer:
Mer om eksamen ved UiO
- Kildebruk og referanser
- Hvordan bruke KI som student
- Tilrettelegging p? eksamen
- Trekk fra eksamen
- Syk p? eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen p? nytt
- Fusk/fors?k p? fusk
Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.