Kjære IN1150-student,

Vi håper du hadde en god start på det nye semesteret!

En PDF-versjon av et foreløpig løsningsforslag er publisert her:

/studier/emner/matnat/ifi/IN1150/v25/eksamen/konte_eksamen_in1150_varen_2025_losning.pdf

Vi ønsker deg alt godt med dine videre studier.

--
Med vennlig hilsen oss som underviser IN1150

Kjære IN1150-student,

Takk for denne gang!
Vi håper at du hadde en god opplevelse, og at du føler du fikk vise mye av det du har lært på eksamen!

En PDF-versjon av eksamenssettet er publisert her:

/studier/emner/matnat/ifi/IN1150/v25/eksamen/eksamen_in1150_varen_2025.pdf

Et foreløpig løsningsforslag er publisert her:

/studier/emner/matnat/ifi/IN1150/v25/eksamen/eksamen_in1150_varen_2025_losning.pdf

Vi håper du lærte mange nye måter å tenke, formalisere og argumentere på. Hvis du ikke har fått nok nøtter til å løse dette semesteret, finner du en siste nedenfor :)

Ha en riktig god sommer.

--
Med vennlig hilsen oss som underviser IN1150

Kjære IN1150-student,

• I uke har vi masse repetisjon: Repitisjons og Gruppeplan!
• Tidligere eksamensoppgaver du kan trene på finnes her.
• Ved spørsmål bruk gjerne Discourse, epost til favorit gruppelærer eller retter, repitisjons timer eller 1-1 hjelp.
• Husk å logge inn og prøve prøveeksamen i Inspera og øve på å gi svar i tekstfeltet.

Med dette sier vi TAKK FOR SEMESTERET og LYKKE TIL med eksamen!

- Oss som underviser IN1150

Ukens nøtt

...

 Du er invitert til en faglig-sosial avslutningsfest 

Kjære IN1150 studenter,
I god tradisjon arrangerer vi en avslutningsfest i IN1150, og alle som tar IN1150 inviteres herved til en faglig-sosial avslutningsfest.

 fredag 16. mai
 kl. 10.15 til kl. 14.00
...

Kjære IN1150-student,

Velkommen til uke sytten hvor vi feire avsluttning av forelesninger, begynne med repetisjon og har en prøveeksamen!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 24 (Henrik)

Forelesning, Fredag 10.15-13.00 +++, Simula:
Gjennomgang av prøveeksamen
+ fra ca kl 12: Avslutningsfest (eksamenstips, pris, konkurranse, mini foredrag og iskrem! :) )

Frivillig Innleveringsoppgaver:
Innlevering 11 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 15. mai, kl. 23:59

...

Fristen for Innlevering 11 (kapittel 22, 23 og 24) er endret til 15. mai.
Som vanlig kan du sende inn tidligere med kommentaren «klar for retting».
Du finner de oppdaterte oppgavene og malen her: Innleveringsoppgaver

Kjære IN1150-student,

Velkommen til uke seksten hvor vi opplever noen avlysninger – et godt tidspunkt å begynne å gjenta i stedet!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
- (Kansellert pga sykdom)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 23 (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 11 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 15. mai, kl. 23:59 (neste uke!)

IN1150-café: kansellert i dag

Andre Beskjeder:

• Gruppeundervisni...

Kjære IN1150-student,

Velkommen til uke femten - en hele uke om grafer!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 21 (Anne-Marie)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 22 (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 10 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 01. mai, kl. 23:59

Retting av innleveringer:
På grunn av et høyt antall innleveringer og påskeferien, vil tilbakemeldingene bli noe forsinket. Vi prioriterer for øyeblikket retting av obligatoriske innleveringer, og går deretter vi...

Kjære IN1150-student,

Velkommen til uke fjorten (vi hoppet over tretten)!
Her er hele planen for denne uken:

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 20 (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 10 er tilgjengelig her: Innleveringsoppgaver.
Frist: Torsdag 1. mai, kl. 23:59 (neste uke!)

Tilbakemelding obligatoriske oppgavene:
Har du spørsmål om din innlevering til de obligatoriske oppgavene, kan du få svar og flere tilbakemeldinger fra den som har rettet det (se Devilry) eller i 1-1-hjelpen i dag eller de vanlige gruppetimene denne uken!

Retting av innleveringer:
Nå er vi nesten ferdige med å rette de obligatoriske oppgave...

Kjære IN1150-student,

Velkommen til uke tolv - hvor vi lærer litt om kombinatorikk. Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 18 (Anne-Marie)

...

Kjære IN1150-student,

Velkommen til uke elleve - som starter med en frist og introduserer litt mer 1-1 hjelp.
Frist for obligatorisk innlevering: 31.04.2025 (I DAG). 

• Pass på at du ikke har noen tomme oppgaver.
• Sørg for at du leverer riktig filformat (PDF) og kun én fil!
• Dobbeltsjekk at du virkelig sender inn filen!
• Nettskjema for egenmelding ved behov for utsettelse: https://nettskjema.no/a/507662
• For søknad om utsettelse eller endringer utover det vanlige, vennligst kontakt studieinfo@ifi.uio.no.

Her er planen for resten av uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 16 (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 17 (Henrik)

Frivillig Innleveringsoppgaver:...

Kjære IN1150-student,

Velkommen til uke ti - en ganske vanlig uke med mer om logikk.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 14 (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 15 (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 7 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 27. mars, kl. 23:59

Obligatorisk Innleveringsoppgaver:
Oppdatert med noen hint for oppgave 8.2 og 9.1 her: Innleveri...

Kjære IN1150-student,

Velkommen til uke ni ... hvor det ikke skjer så mye i IN1150 :)
Her er den reduserte planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Ingen forelesning. (Lykke til med midtveis eksamen!)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 13 (Henrik)

Redusert Gruppeundervisning:
Denne uken har vi redusert tilbudet for guppeundervisning, da vi allerede hadde repetisjon forrige uke. Kom gjerne innom Lunas og Falsks gruppeundervisning om kapittel 12!

Kjære IN1150-student,

Velkommen til uke åtte hvor vi gjennomgår alt som har skjedd før og du kan begynne å jobbe med de obligatoriske oppgavene.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Repitisjon: Kapittel 6-12 (Anne-Marie)

Forelesning, Fredag 10.15-12.00, Simula:
Kansellert. Ingen forelesning.

Frivillig Innleveringsoppgaver:
Innlevering 6 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 13. mars, kl. 23:59

Obligatorisk Innleveringsoppgaver:
Del 1 er tilgjengelig her: ...

Kjære IN1150-student,

For å gi dere mer tid til å løse obligatoriske oppgaver, er oppgavesettet del 1 (av 2) nå allerede tilgjengelig.

• Oppgavesettet - DEL 1

Oppdatering med obligatoriske oppgaver for kapittel 10-12 (basert på innlevering 6) vil bli publisert 14. mars sammen med Latex mal!

Frist (for del 1 & 2): Mandag 31. mars, kl. 23:59

Denne oppgaven må godkjennes for å kunne ta eksamen (ingen poeng eller karakter). Det er lov, og det oppfordres til, å gjenbruke egne svar fra de tidligere (frivillige) innleveringsoppgavene.

Merk det praktiske om innleveringene: dersom du ikke oppfyller disse enkle kravene (som for eksempel at besvarelsen skal bestå av ...

Kjære IN1150-student,

Velkommen til uke syv - en hel uke som omhandler induksjon og viktige kunngjøringer for neste uke.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 11 (Anne-Marie)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 12 (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 6 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 13. mars, kl. 23:59 (neste uke!)

Andre Beskjeder:

• Repetisjonsuke: Neste uke er det repetisjonsuke! Gled deg til en hel uke uten noe nytt. For dette vil gruppetimene ...

Kjære IN1150-student,

Velkommen til uke seks med endring i gruppetimeplanen og et nytt en-til-en hjelpetilbud (mer informasjon nedenfor).
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 9 (Anne-Marie)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 10 (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 5 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 27. februar, kl. 23:59

Andre Beskjeder:

“The important thing is not to stop questioning.” - A. Einstein

• Ny gruppetime plan: Velg din...

Kjære IN1150-student,

Velkommen til uke fem - en helt vanlig uke :)
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 7 (Anne-Marie)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 8 (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 4 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 20. februar, kl. 23:59

Andre Beskjeder:

“The important thing is not to stop questioning.” - A. Einstein

• IN1150-café: Stikk innom i dag! Still spørsmål og få personlig hjelp. Alle mandager, kl 16-18, i Es...

Kjære IN1150-student,

Velkommen til uke fire hvor du kan ta en pust med repetisjon og finne det enklere å pugge so mange nye begreper!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Repetisjon (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 6 + Oppgaver (Anne-Marie)

Frivillig Innleveringsoppgaver:
Innlevering 3 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 13. februar, kl. 23:59

Andre Beskjeder:

• IN1150-café: Stikk innom i dag!
  Alle mandager, kl 16-18, i Escape. 
• Or...

Kjære IN1150-student,

Velkommen til uke tre hvor du kan bli med på IN1150 Cafe og begynne å konkurrere om å finne logiske konstruksjoner i den virkelige verden!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 4 + Oppgaver (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 5 + Oppgaver (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 2 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Torsdag 6. februar, kl. 23:59

Andre Beskjeder:

• IN1150-café denne uken :) 
  Stikk innom IN1105Cafe i dag! Har kan...

Kjære IN1150-student,

Nå starter andre forelesnings uke og vi har vår første gruppeundervisning!
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Kapittel 2 + Oppgaver (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 3 + Oppgaver (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 1 er tilgjengelig her: Innleveringsoppgaver. 
Frist: Fredag 31. januar, kl. 23:59

Andre Beskjeder:

• Gruppeundervisning: Vi starter denne uken! Se ...

Kjære IN1150-student,

I dag har vi vår første forelesning! Vi starter lett med litt introduksjon, informasjon om kursorganisering og innhold.
Her er hele planen for denne uken:

Forelesning, Mandag 14.15-16.00, Simula:
Velkommen! Introduksjon og informasjon om kursorganisering (Anne-Marie)
Kursinnhold - kort fortalt (Henrik)

Forelesning, Fredag 10.15-12.00, Simula:
Kapittel 1 + Oppgaver (Henrik)

Frivillig Innleveringsoppgaver:
Innlevering 1 om Kapittel 1 og 2 (grunnleggende mengdelære / utsagnslogikk) er snart tilgjengelig her: Innleveringsoppgaver. 
Frist: Fredag 31. januar, kl. 23:59

...

Kjære IN1150-student,

Velkommen til nytt semester!
Her er allerede litt informasjon for å komme i gang:

Forelesninger og gruppetimer:
Første forelesning er 20. januar. Gruppetimer starter 28. og 29. januar.
Vennligst sjekk timeplanen din for å finne ut hvilken gruppe du er i. (Det er mulig å delta på andre gruppetimer, forutsatt at det er nok plass. Vennligst gi de andre gruppemedlemmene prioritet!)
Alle forelesnings- og gruppetider finner du her: Timeplan

Utforsk kursmateriell:
Hvis du er nysgjerrig på kursinnholdet, kan du utforske boken (no. Logiske Metoder / eng. Logical Methods) og ...