IN1150 ¨C Logiske metoder

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 ¨C Logiske metoder for informatikk (videref?rt).
• 5 studiepoeng overlapp med INF1800 ¨C Logikk og beregninger (nedlagt).
• 5 studiepoeng overlapp med MAT1030 ¨C Diskret matematikk (nedlagt).
• 5 studiepoeng overlapp med HUMIT1750 ¨C Logikk og beregninger (nedlagt).
• 5 studiepoeng overlapp med HUMIT1750MN ¨C Logikk og beregninger (nedlagt).
• 5 studiepoeng overlapp med SLI1.
• 5 studiepoeng overlapp med SLI110.
• 5 studiepoeng overlapp med HUMIT1751 ¨C Beregnbarhet (nedlagt).
• 5 studiepoeng overlapp med FIL1400.
• 5 studiepoeng overlapp med MAT1140 ¨C 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 澳门葡京手机版app下载 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 澳门葡京手机版app下载 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.