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
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 欧洲杯在线买球_欧洲杯投注网站推荐@ 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 欧洲杯在线买球_欧洲杯投注网站推荐@ 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
- Kildebruk og referanser
- 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.