IN1150

Logiske metoder

UiO →10 studiepoeng

Studentvurdering

Hvor relevant opplever du emnet?

Gjennomsnittlig svar: ingen svar

Svært irrelevantSvært relevant

Hva er ditt generelle inntrykk av kurset?

Gjennomsnittlig svar: ingen svar

Svært dårligSvært bra

Hva synes du om emnets nivå?

Gjennomsnittlig svar: ingen svar

Svært lettSvært vanskelig

Hva synes du om arbeidsmengden sett i forhold til antall studiepoeng?

Gjennomsnittlig svar: ingen svar

Svært litenSvært stor

KARAKTERFORDELING · V 2025

327 kandidater

H 2017

V 2025

Grupper etter kjønn

SEMESTER

SNITTKARAKTER

2,60 av 5 poeng

UiO snitt: 3.46

STRYKPROSENT

13,2 %

UiO snitt: 2,7 %

KANDIDATER PER ÅR

321

snitt over 9 år

SEMESTRE MED DATA

Eksamen og forkunnskaper

Vurderingen består av

Avsluttende hjemmeeksamen · 4 Timer
Avsluttende hjemmeeksamen og muntlig eksamen
Justerende muntlig eksamen

Alle delene må normalt være bestått. Karakterfordelingen over gjelder emnet samlet.

Kilde: Felles studentsystem (FS) via Universitetet i Oslo, slik den var publisert for høsten 2026. Universitetet i Oslo er ikke ansvarlig for innholdet på denne siden.

Om IN1150

UiO sin egen emnebeskrivelse — læringsutbytte, innhold og vurderingsform.

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.

Vis resten (11 avsnitt)

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.

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 samarbeid under retningslinjer for obligatoriske oppgaver.

Undervisningssemester

Høstsemesteret 2017, 2018 og 2019 tilbys en nettbasert selvstudiumsutgave av dette emnet. Vårsemestrene tilbys en undervisningsbasert variant av emnet.

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.

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr både utsatt og ny eksamen. Les mer:

Karakterskala

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

Eksamensspråk

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

Overlappende emner

10 studiepoeng mot INF1080
5 studiepoeng mot INF1800
5 studiepoeng mot MAT1030
5 studiepoeng mot MAT1140
5 studiepoeng mot HUMIT1750MN
5 studiepoeng mot SLI110
5 studiepoeng mot SLI1
5 studiepoeng mot FIL1400

Kilde: Felles studentsystem (FS) via Universitetet i Oslo, slik den var publisert for høsten 2026. Universitetet i Oslo er ikke ansvarlig for innholdet på denne siden.

Kommentarer

Hva burde andre vite før de tar dette? Anonymt, ingen innlogging.

Ofte stilte spørsmål

Hva er strykprosenten i IN1150?: Samlet strykprosent for IN1150 ved UiO er 13,2 %, basert på 2 888 kandidater. Siste semester (vår 2025) var den 27,5 %.
Hvor vanskelig er IN1150?: Snittkarakteren i IN1150 er C (2.60 av 5 poeng), mot 13,2 % stryk. Jo lavere snitt og høyere strykprosent, jo mer krevende er emnet sammenlignet med andre emner ved UiO.
Hvor kommer tallene for IN1150 fra?: Karakterdataene er hentet fra DBH (Database for statistikk om høyere utdanning) hos HK-dir, publisert under NLOD. Studentvurderingene er våre egne, slått sammen med vurderinger fra Karakterweb.

Studieprogram med dette emnet

Basert på hvor kandidatene til eksamen var registrert (DBH).

Relaterte emner ved UiO

Emner som tas i de samme studieprogrammene som IN1150.

AB-202 Marine Arctic Biology (The University Centre in Svalbard)snitt C · 0 % stryk
AB-203 Arctic Environmental Management (The University Centre in Svalbard)snitt C · 0 % stryk
AGF-216 The Stormy Sun and Northern Lights (The University Centre in Svalbard)snitt B · 0 % stryk
ANT1100 Antikkens verdensnitt C · 8 % stryk
ANT1500 Antikken gjennom tidenesnitt C · 5,9 % stryk
ANT2210 Antikkens Romasnitt C · 0 % stryk
ANT2700 Antikkens litteratur i oversettelsesnitt C · 5,3 % stryk
ANT2800 Antikkens mytologisnitt C · 3,2 % stryk

Mer om UiO

Les om karakterfordelingen ved UiO →Les om UiO →

Utvikling over tid

Semester	Kandidater	Snitt	Stryk
Vår 2025	327	D (2.24)	27,5 %
Høst 2024	63	C (2.68)	17,5 %
Vår 2024	307	C (2.57)	18,6 %
Høst 2023	78	C (2.73)	12,8 %
Vår 2023	290	C (2.53)	11,7 %
Høst 2022	73	C (3.01)	12,3 %
Vår 2022	297	D (2.49)	10,1 %
Høst 2021	88	C (2.59)	10,2 %
Vår 2021	272	C (2.91)	4,4 %
Høst 2020	106	C (2.72)	7,6 %
Vår 2020	272	–	18,4 %
Høst 2019	69	C (2.65)	5,8 %
Vår 2019	280	C (2.85)	3,2 %
Høst 2018	63	D (2.29)	12,7 %
Vår 2018	260	D (2.47)	13,9 %
Høst 2017	43	C (2.74)	7 %

Finner retningen …

Eksamen og forkunnskaper

Vurderingen består av

Avsluttende hjemmeeksamen · 4 Timer
Avsluttende hjemmeeksamen og muntlig eksamen
Justerende muntlig eksamen

Alle delene må normalt være bestått. Karakterfordelingen over gjelder emnet samlet.

Kilde: Felles studentsystem (FS) via Universitetet i Oslo, slik den var publisert for høsten 2026. Universitetet i Oslo er ikke ansvarlig for innholdet på denne siden.

Om IN1150

UiO sin egen emnebeskrivelse — læringsutbytte, innhold og vurderingsform.

Kort om emnet

Vis resten (11 avsnitt)

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.

Undervisning

Undervisningssemester

Høstsemesteret 2017, 2018 og 2019 tilbys en nettbasert selvstudiumsutgave av dette emnet. Vårsemestrene tilbys en undervisningsbasert variant av emnet.

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.

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr både utsatt og ny eksamen. Les mer:

Karakterskala

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

Eksamensspråk

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

Overlappende emner

10 studiepoeng mot INF1080
5 studiepoeng mot INF1800
5 studiepoeng mot MAT1030
5 studiepoeng mot MAT1140
5 studiepoeng mot HUMIT1750MN
5 studiepoeng mot SLI110
5 studiepoeng mot SLI1
5 studiepoeng mot FIL1400

Kilde: Felles studentsystem (FS) via Universitetet i Oslo, slik den var publisert for høsten 2026. Universitetet i Oslo er ikke ansvarlig for innholdet på denne siden.

Ofte stilte spørsmål

Hva er strykprosenten i IN1150?

Samlet strykprosent for IN1150 ved UiO er 13,2 %, basert på 2 888 kandidater. Siste semester (vår 2025) var den 27,5 %.

Hvor vanskelig er IN1150?

Snittkarakteren i IN1150 er C (2.60 av 5 poeng), mot 13,2 % stryk. Jo lavere snitt og høyere strykprosent, jo mer krevende er emnet sammenlignet med andre emner ved UiO.

Hvor kommer tallene for IN1150 fra?

Karakterdataene er hentet fra DBH (Database for statistikk om høyere utdanning) hos HK-dir, publisert under NLOD. Studentvurderingene er våre egne, slått sammen med vurderinger fra Karakterweb.

Utvikling over tid

Semester	Kandidater	Snitt	Stryk
Vår 2025	327	D (2.24)	27,5 %
Høst 2024	63	C (2.68)	17,5 %
Vår 2024	307	C (2.57)	18,6 %
Høst 2023	78	C (2.73)	12,8 %
Vår 2023	290	C (2.53)	11,7 %
Høst 2022	73	C (3.01)	12,3 %
Vår 2022	297	D (2.49)	10,1 %
Høst 2021	88	C (2.59)	10,2 %
Vår 2021	272	C (2.91)	4,4 %
Høst 2020	106	C (2.72)	7,6 %
Vår 2020	272	–	18,4 %
Høst 2019	69	C (2.65)	5,8 %
Vår 2019	280	C (2.85)	3,2 %
Høst 2018	63	D (2.29)	12,7 %
Vår 2018	260	D (2.47)	13,9 %
Høst 2017	43	C (2.74)	7 %

Karakterfordeling og studentvurderinger i IN1150

Studentvurdering

Hvor relevant opplever du emnet?

Hva er ditt generelle inntrykk av kurset?

Hva synes du om emnets nivå?

Hva synes du om arbeidsmengden sett i forhold til antall studiepoeng?

Eksamen og forkunnskaper

Vurderingen består av

Om IN1150

Kort om emnet

Hva lærer du?

Opptak til emnet

Spesielle opptakskrav

Undervisning

Undervisningssemester

Eksamen

Hjelpemidler til eksamen

Adgang til ny eller utsatt eksamen

Karakterskala

Eksamensspråk

Overlappende emner

Kommentarer

Ofte stilte spørsmål

Studieprogram med dette emnet

Relaterte emner ved UiO

Mer om UiO

Utvikling over tid

Karakterfordeling og studentvurderinger i IN1150

Studentvurdering

Hvor relevant opplever du emnet?

Hva er ditt generelle inntrykk av kurset?

Hva synes du om emnets nivå?

Hva synes du om arbeidsmengden sett i forhold til antall studiepoeng?

Eksamen og forkunnskaper

Vurderingen består av

Om IN1150

Kort om emnet

Hva lærer du?

Opptak til emnet

Spesielle opptakskrav

Undervisning

Undervisningssemester

Eksamen

Hjelpemidler til eksamen

Adgang til ny eller utsatt eksamen

Karakterskala

Eksamensspråk

Overlappende emner

Kommentarer

Ofte stilte spørsmål

Studieprogram med dette emnet

Relaterte emner ved UiO

Mer om UiO

Utvikling over tid