Innleveringsoppgaver

Om innleveringsoppgavene

• Formålet med innleveringsoppgavene i IN1150 er at du skal lære mest mulig av kursets innhold på en måte som er god og som passer for deg. Det er også for å hjelpe deg med å jobbe jevnt og gi deg et inntrykk av din progresjon.
• Vi tror at du vil lære mye av å gjøre mange små oppgaver, få konstruktive tilbakemeldinger, og få muligheten til å gjøre oppgavene på nytt og rette opp i ting, så ofte og så mye du vil.
• Du kan derfor levere hvilke som helst av oppgavene, når som helst, så mange ganger du vil, med mange forsøk på hver oppgave. Det meste er frivillig, men vi har også et minimumskrav for å få ta eksamen. Les videre.
• Vi vil at når du leverer en oppgave, så er det fordi du vil lære, forstå mer og få gode tilbakemeldinger.
• Når du leverer en oppgave vil en retter som kjenner faget godt, lese og gi deg tilbakemelding.
• Vi gir tilbakemelding på hver innlevering fortløpende, og så fort vi klarer, men du må regne med at kan det kan ta opptil syv dager før du får en tilbakemelding.
• I dette kurset bygger mange av temaene direkte på hverandre, og det viktig med en jevn progresjon. Se nedenfor for en anbefalt progresjon. Det er også en oversikt i boken over hvilke kapitler som bygger på hverandre.

Innleveringsoppgaver

Det er de 24 kapitlene i boken som er pensum. Vi har delt disse inn i tre bolker med fire innleveringsoppgaver i hver bolk, det vil si tolv innleveringsoppgaver totalt.

• Bolk 1
  • Innlevering 1 Kapittel 1 og 2
    Tema: grunnleggende mengdelære / utsagnslogikk
  • Innlevering 2 Kapittel 3 og 4
    Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
  • Innlevering 3 Kapittel 5 og 6
    Tema: bevis, formodninger og moteksempler / relasjoner
  • Innlevering 4 Kapittel 7 og 8
    Tema: funksjoner / litt mer mengdelære
• Bolk 2
  • Innlevering 5 Kapittel 9 og 10
    Tema: tillukninger og induktivt definerte mengder / rekursive funksjoner
  • Innlevering 6 Kapittel 11 og 12
    Tema: matematisk induksjon / strukturell induksjon
  • Innlevering 7 Kapittel 13 og 14
    Tema: førsteordens språk / representasjon av kvantifiserte utsagn
  • Innlevering 8 Kapittel 15 og 16
    Tema: tolkning i modeller / resonnering om modeller
• Bolk 3
  • Innlevering 9 Kapittel 17 og 18
    Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk
  • Innlevering 10 Kapittel 19 og 20
    Tema: litt mer kombinatorikk / litt abstrakt algebra
  • Innlevering 11 Kapittel 21 og 22
    Tema: grafteori / vandringer i grafer
  • Innlevering 12 Kapittel 23 og 24
    Tema: formelle språk og grammatikker / naturlig deduksjon
• Ekstra innleveringsoppgave (mest om LaTeX)
  • Innlevering 0
    Kapittel 0 (kunsten å tenke abstrakt og matematisk)

Anbefalt progresjon

Vi anbefaler at du bruker ca. én uke på to kapitler, men med noe høyere intensitet i begynnelsen av kurset. Det er svært lurt å komme godt i gang så tidlig som mulig. Du kan bruke følgende oversikt for å se omtrent hvor du bør være i den aktuelle uken dersom du arbeider nokså jevnt med kurset.

uke 34 (mandag 21. august – fredag 25. august): Kapittel 0 og 1
uke 35 (mandag 28. august – fredag 1. september): Kapittel 2, 3 og 4
uke 36 (mandag 4. september – fredag 8. september): Kapittel 5 og 6
uke 37 (mandag 11. september – fredag 15. september): Kapittel 7 og 8
uke 38 (mandag 18. september – fredag 22. september): Kapittel 9 og 10
uke 39 (mandag 25. september – fredag 29. september): Kapittel 11 og 12
uke 40 (mandag 2. oktober – fredag 6. oktober): Kapittel 13 og 14
uke 41 (mandag 9. oktober – fredag 13. oktober): Kapittel 15 og 16
uke 42 (mandag 16. oktober – fredag 20. oktober): Kapittel 17 og 18
uke 43 (mandag 23. oktober – fredag 27. oktober): Kapittel 19 og 20
uke 44 (mandag 30. oktober – fredag 3. november): Kapittel 21 og 22
uke 45 (mandag 6. november – fredag 10. november): Kapittel 23 og 24

Poeng og regler for innleveringsoppgavene

• For hvert kapittel er det fire oppgaver som er verdt to poeng hver. Vi har valgt å sette alle oppgavene til to poeng selv om noen er enklere enn andre. Det vil si at hver innleveringsoppgave står for 16 poeng (åtte oppgaver á to poeng) og at hver bolk står for 64 poeng.
• Kravet for å få ta eksamen i IN1150 er at du innen kurset er halvveis får 48 poeng (75%) av oppgavene i den første bolken. Vi teller her alt fra første bolk som er levert innen kl. 23.59 torsdag 5. oktober.
• En kommentar: Dersom du ikke har gjort mer enn kapittel 1–8 når kurset er halvveis, er sjansene for å hente seg inn, og lære kapitlene 9–24 i siste halvdel, forsvinnende liten. Kurset er et modningsfag, og enkelte temaer i disse kapitlene krever både tid og innsats.
• Det forutsettes at alle som leverer har lest og godtatt reglement for obligatoriske oppgaver ved Institutt for informatikk.
• Alle hjelpemidler (inkludert GPT UiO) er tillatt, men dersom du bruker en kilde som ikke er en del av kursmaterialet, må du oppgi denne kilden.
• Det er tillatt – og du oppfordres til – å levere i grupper (på opptil tre) under forutsetning av at alle i gruppen både står for det som leveres og alene kan gjøre rede for alle delene av arbeidet.

Praktisk om innleveringsoppgavene

• Hver innlevering skal gjøres i innlevering- og tilbakemeldingssystemet Devilry.
• Innleveringen (som består av opptil åtte oppgaver) 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 som gjelder.
• Hvis man ønsker å levere som en gruppe (på opptil tre), må man opprette en gruppe selv i Devilry, og alle i gruppen må godkjenne dette via Devilry.
• Vi anbefaler at alle bruker LaTeX for å skrive sine innleveringer, og vi har laget en IN1150-mal i Overleaf som alle kan bruke. Innlevering 0 er ment som en måte å komme i gang med dette på.
• Ta en titt på dokumentet LaTeX-hjelp for IN1150 for relevante LaTeX-kommandoer for IN1150.