Innleveringsoppgaver
- For ? ta eksamen i IN1150 m? du levere og f? godkjent en viss mengde innleveringsoppgaver.
- Det blir tolv uker med innleveringsoppgaver, og disse er gruppert i tre like store bolker.
- Du kan selv velge hvilke og hvor mange oppgaver du leverer, men
kravet for ? g? opp til eksamen er 32 poeng (av 64 mulige) per bolk. - I oversikten nedenfor finner du oppgavene du kan velge mellom for hver innlevering.
- For hvert kapittel i l?reboken har vi valgt ut fire oppgaver som hver er verdt to poeng.
- Vi har valgt ? sette alle oppgavene til to poeng selv om noen er enklere og noen er vanskeligere.
- N?r du leverer en oppgave, kan du ikke levere den p? nytt; du m? derfor selv passe p? at du f?r nok poeng.
- Oppdatering: Kravet for ? g? opp til eksamen blir 96 poeng totalt (i stedet for 32 poeng per bolk).
Praktisk om innleveringsoppgavene
Alle innleveringene skal gj?res i innlevering- og tilbakemeldingssystemet Devilry p? f?lgende m?te:
- Besvarelsen skal best? av én fil.
- Filen som lastes opp som m? v?re en PDF-fil og ha filetternavnet .pdf.
- 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 alle ? bruke LaTeX til ? skrive innleveringsoppgavene, og vi har laget en mal som du kan bruke. Den ligger fritt tilgjengelig p? Overleaf her: https://www.overleaf.com/read/ryzznpdrnfxz
- Her er en oversikt over nyttige LaTeX-kommander som brukes mye i IN1150.
- Her er et eksempel p? hvordan man tegner Venn-diagrammer i LaTeX: https://www.overleaf.com/read/cqntvvfmzkfs
- Her er et eksempel p? hvordan man kan lage en sannhetsverditabell i LaTeX: https://www.overleaf.com/read/zcryyhccrdqg
Innleveringsoppgaver
Endringer kan forekomme, s? dobbeltsjekk f?r innlevering. Sist oppdatert: 2020-01-20
- Innlevering 1 (innleveringsfrist: torsdag 30. januar kl. 23:59):
1.2 1.10 1.14 a-b 1.16 2.2 2.4 a-b,d-e 2.6 a-b 2.6 c-d - Innlevering 2 (innleveringsfrist: torsdag 6. februar kl. 23:59):
3.2 3.12 a-b 3.16 3.22 a-b 4.2 4.4 4.6 4.8 a-c - Innlevering 3 (innleveringsfrist: torsdag 13. februar kl. 23:59):
Husk ? fylle ut sp?rreunders?kelsen! Dette gjelder alle som er oppmeldt i kurset. 5.2 b 5.10 b 5.12 a-b 5.12 c-d 6.2 a-d 6.2 e-h 6.6 6.8 For 6.8, gi en begrunnelse for svaret. - Innlevering 4 (innleveringsfrist: torsdag 20. februar kl. 23:59):
7.2 7.8 a-d 7.8 e-h 7.10 For 7.2, gi en begrunnelse for svaret. 8.2 8.4 a-b 8.6 8.12 For 8.2 a–d er det ikke n?dvendig med en begrunnelse. For 8.2 e–f og 8.4, gi en begrunnelse for svaret.
- Innlevering 5 (innleveringsfrist: torsdag 27. februar kl. 23:59):
9.2 9.4 9.12 a-c 9.12 d-f 10.2 a-c 10.2 d-f 10.8 a-b 10.10 - Innlevering 6 (innleveringsfrist: torsdag 5. mars kl. 23:59):
11.2 11.4 11.8 11.12 12.2 c 12.4 b 12.6 a-b,d 12.6 c Merk: Dersom du har opplag 1 eller 2 av boken, er det en feil i oppgave 12.6. Korrekt definisjon sier ?anti(F → G) = (?anti(F) ∧ anti(G))?. - Innlevering 7 (innleveringsfrist: torsdag 12. mars kl. 23:59):
13.2 13.4 a-b 13.6 13.14 14.2 a-f 14.6 a-f 14.6 g-l 14.8 a-f - Innlevering 8 (innleveringsfrist: torsdag
19.26. mars kl. 23:59):15.2 a 15.2 c 15.10 15.14 16.6 16.8 16.16 a-b 16.18
- Innlevering 9 (innleveringsfrist: torsdag
26. mars2. april kl. 23:59):17.4 17.12 17.16 a-c 17.18 18.8 18.10 18.12 18.14 Oppgave 18.12: Anta at hver funksjon funksjon tar n?yaktig ett argument.
- Innlevering 10 (innleveringsfrist: torsdag
2. april16. april kl. 23:59):19.2 19.6 19.10 a-b 19.10 c-d 20.2 20.6 a-c 20.10 a-c 20.10 d-f - Innlevering 11 (innleveringsfrist: torsdag
16. april23. april kl. 23:59):21.4 21.6 21.10 21.12 22.2 22.8 a 22.10 a-c 22.10 d I 22.2 kan du bruke f?lgende navn p? nodene:
I 22.10 er det tilstrekkelig ? vise “bare hvis”-delen.
- Innlevering 12 (innleveringsfrist: torsdag
23. april30. april kl. 23:59):23.4 23.6 23.10 23.12 24.6 a-b 24.6 c-d 24.6 e-f 24.10 a-b Tips: 24.10 kan v?re enklere enn 24.6.