- Hensikten med innleveringene i IN1150 er at du skal lære mest mulig på en god måte som passer for deg. Det er også for å hjelpe deg med å jobbe jevnt og gi deg et inntrykk av din progresjon.
- Innleveringsoppgavene skal løses selvstendig.
- Når du leverer en oppgave vil en retter som kjenner faget godt, lese og gi deg tilbakemelding.
- Det er 11 frivillige innleveringer, omtrent én per ordinære undervisningsuke.
- Kun én innlevering er obligatorisk og må være godkjent for å kunne gå opp til eksamen.
- Den obligatoriske oppgaven vil bestå av et utvalg av oppgaver fra de frivillige innleveringsoppgavene.
- Det betyr at dersom du gjør alle de frivillige innleveringsoppgavene, har du allerede gjort den obligatoriske oppgaven, og fått tilbakemelding på hva som eventuelt bør forbedres.
Praktisk om innleveringsoppgavene
Hver innlevering skal gjøres i innlevering- og tilbakemeldingssystemet Devilry på følgende måte:
- Besvarelsen skal bestå av én fil.
- Filen som lastes opp må være en PDF-fil.
- Finn den riktige innleveringen i Devilry, og last opp filen som en del av denne. Du vil få tilbakemelding så fort vi klarer å rette den.
- Det er mulig å laste opp sin besvarelse så mange ganger man ønsker, og det er alltid den siste innleveringen før innleveringsfristen som gjelder.
- Det forutsettes at alle som leverer har lest og godtatt reglement for obligatoriske oppgaver ved Institutt for informatikk.
- Vi anbefaler at alle bruker LaTeX for å skrive sine innleveringer, og vi har laget IN1150-mal i Overleaf for hver innleveringoppgave som alle kan bruke [endret 11.02.25].
- Ta en titt på dokumentet LaTeX-hjelp for IN1150 for relevante LaTeX-kommandoer for IN1150. Du kan også finne kommandoer for symboler raskt på denne nettsiden: Detexify LaTeX handwritten symbol recognition.
Frivillige innleveringsoppgaver
Endringer kan forekomme, så dobbeltsjekk før innlevering.
- Kompendium med alle innleveringsoppgaver kommer snart!
- Innlevering 1 Kapittel 1 og 2
Tema: grunnleggende mengdelære / utsagnslogikk
Frist: Fredag 31. januar, kl. 23:59 - Innlevering 2 Kapittel 3 og 4
Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
Frist: Torsdag 6. februar, kl. 23:59 - Innlevering 3 Kapittel 5
Tema: bevis, formodninger og moteksempler
Frist: Torsdag 13. februar, kl. 23:59 - Innlevering 4 Kapittel 6 og 7
Tema: relasjoner / funksjoner
Frist: Torsdag 20 februar, kl. 23:59 - Innlevering 5 Kapittel 8 og 9
Tema: litt mer mengdelære / tillukninger og induktivt definerte mengder
Frist: Torsdag 27. februar, kl. 23:59 - Innlevering 6 Kapittel 10, 11 og 12
Tema: rekursive funksjoner / matematisk induksjon / strukturell induksjon
Frist: Torsdag 13. mars, kl. 23:59 - Innlevering 7 Kapittel 13 og 14
Tema: førsteordens språk / representasjon av kvantifiserte utsagn
Frist: Torsdag 27. mars, kl. 23:59 - Innlevering 8 Kapittel 15 og 16
Tema: tolkning i modeller / resonnering om modeller
Frist: Torsdag 3. april, kl. 23:59 - Innlevering 9 Kapittel 17 og 18
Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk
Frist: Torsdag 10. april, kl. 23:59 - Innlevering 10 Kapittel 19, 20 og 21
Tema: litt mer kombinatorikk / litt abstrakt algebra / grafteori
Frist: Torsdag 1. mai, kl. 23:59 - Innlevering 11 Kapittel 22, 23 og 24
Tema: vandringer i grafer / formelle språk og grammatikker / naturlig deduksjon
Frist: Torsdag 15. mai, kl. 23:59
Obligatorisk oppgave
Den obligatoriske innleveringen består av oppgaver fra innlevering 1 til 6. Denne oppgaven må godkjennes for å kunne ta eksamen. Det er lov, og det oppfordres til, å gjenbruke egne svar fra de tidligere (frivillige) innleveringsoppgavene. Pass på at du har lest og forstått all informasjon på denne siden. Merk det praktiske om innleveringene: dersom du ikke oppfyller disse enkle kravene (som for eksempel at besvarelsen skal bestå av én PDF-fil) så vil oppgaven automatisk underkjennes. Alle oppgavene må være besvart.
Vi presiserer at oppgaven skal løses selvstendig og i være i henhold til reglement for obligatoriske oppgaver ved Institutt for informatikk.
- Oppgavesettet - DEL 1 og 2 (siste oppdatering 24. mars).
- LaTeX-mal for den obligatoriske finnes i sin egen fil i IN1150-mal i Overleaf (siste oppdatering 19. mars)
- Nettskjema for egenmelding ved behov for utsettelse p.g.a. sykdom eller av andre tungtveiende grunner: https://nettskjema.no/a/507662
(For søknad om utsettelse eller endringer utover det vanlige, vennligst kontakt studieinfo@ifi.uio.no.)
Frist: Mandag 31. mars, kl. 23:59