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 ¨C fredag 25. august): Kapittel 0 og 1
uke 35 (mandag 28. august ¨C fredag 1. september): Kapittel 2, 3 og 4
uke 36 (mandag 4. september ¨C fredag 8. september): Kapittel 5 og 6
uke 37 (mandag 11. september ¨C fredag 15. september): Kapittel 7 og 8
uke 38 (mandag 18. september ¨C fredag 22. september): Kapittel 9 og 10
uke 39 (mandag 25. september ¨C fredag 29. september): Kapittel 11 og 12
uke 40 (mandag 2. oktober ¨C fredag 6. oktober): Kapittel 13 og 14
uke 41 (mandag 9. oktober ¨C fredag 13. oktober): Kapittel 15 og 16
uke 42 (mandag 16. oktober ¨C fredag 20. oktober): Kapittel 17 og 18
uke 43 (mandag 23. oktober ¨C fredag 27. oktober): Kapittel 19 og 20
uke 44 (mandag 30. oktober ¨C fredag 3. november): Kapittel 21 og 22
uke 45 (mandag 6. november ¨C 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¨C8 n?r kurset er halvveis, er sjansene for ? hente seg inn, og l?re kapitlene 9¨C24 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 ¨C og du oppfordres til ¨C ? 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.