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 ¨C 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 ...