IN1150 – Logiske metoder
Kursoversikt
IN1150 er et emne i grunnleggende matematiske og logiske metoder. Det fokuserer på forståelse og anvendelse av matematiske begreper og notasjon som er relevante for informatikkstudier. Emnet utvikler evnen til systematisk tenkning, problemløsning og formalisering av matematiske resonnementer.
Karakterkalkulator
Karakterskala
IN1150 bruker karakterskala fra A til F, hvor A er beste karakter og F er stryk.
A
Fremragende
B
Meget god
C
God
D
Nokså god
E
Tilstrekkelig
F
Ikke bestått
Viktig informasjon
Undervisning
Vår: 4 timer forelesning og 2 timer gruppeundervisning per uke, pluss nettbasert tilbud. Høst: Nettbasert undervisning med video og interaktive oppgaver.
Obligatoriske oppgaver
Gjennomføring av obligatoriske øvelser kreves. Må være godkjent for å kunne gå opp til eksamen.
Eksamen
4 timers skriftlig digital eksamen. Ingen hjelpemidler er tillatt.
Læringsmål
Bevismetoder, mengdelære, logikk, matematiske strukturer, induksjon, kombinatorikk, grafteori, formelle språk og logiske kalkyler.
Opptak
Studenter ved UiO søker plass på undervisning og melder seg til eksamen i Studentweb.
Forkunnskaper
Matematikk R1 eller Matematikk (S1+S2).
Ny eller utsatt eksamen
Ingen utsatt eksamen tilbys da emnet undervises både vår og høst.
Undervisningsspråk
Norsk
Overlappende emner med IN1150 – Logiske metoder
Merk: Denne visualiseringen viser antall studiepoeng som overlapper mellom IN1150 og andre emner. Hold musepekeren over søylene for mer informasjon om hvert emne.
Ukentlig timefordeling for IN1150
-
4 timerForelesninger (vår)
-
2 timerGruppeundervisning (vår)