- 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 12 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.
- Ta en titt på dokumentet LaTeX-hjelp for IN1150 for relevante LaTeX-kommandoer for IN1150.
Frivillige innleveringsoppgaver
Endringer kan forekomme, så dobbeltsjekk før innlevering.
- Kompendium med alle innleveringsoppgaver
- Innlevering 1 Kapittel 1 og 2
Tema: grunnleggende mengdelære / utsagnslogikk
Frist: Torsdag 25. januar, kl. 23:59 - Innlevering 2 Kapittel 3 og 4
Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
Frist: Torsdag 1. februar, kl. 23:59 - Innlevering 3 Kapittel 5 og 6
Tema: bevis, formodninger og moteksempler / relasjoner
Frist: Torsdag 8. februar, kl. 23:59 - Innlevering 4 Kapittel 7 og 8
Tema: funksjoner / litt mer mengdelære
Frist: Torsdag 15 februar, kl. 23:59 - Innlevering 5 Kapittel 9 og 10
Tema: tillukninger og induktivt definerte mengder / rekursive funksjoner
Frist: Torsdag 29. februar, kl. 23:59 - Innlevering 6 Kapittel 11 og 12
Tema: matematisk induksjon / strukturell induksjon
Frist: Torsdag 7. mars, kl. 23:59 - Innlevering 7 Kapittel 13 og 14
Tema: førsteordens språk / representasjon av kvantifiserte utsagn
Frist: Torsdag23. mars4. april, kl. 23:59 - Innlevering 8 Kapittel 15 og 16
Tema: tolkning i modeller / resonnering om modeller
Frist: Torsdag4. april11. april, kl. 23:59 - Innlevering 9 Kapittel 17 og 18
Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk
Frist: Torsdag11. april18. april, kl. 23:59 - Innlevering 10 Kapittel 19 og 20
Tema: litt mer kombinatorikk / litt abstrakt algebra
Frist: Torsdag 25. april, kl. 23:59 - Innlevering 11 Kapittel 21 og 22
Tema: grafteori / vandringer i grafer
Frist: Torsdag 2. mai, kl. 23:59 - Innlevering 12 Kapittel 23 og 24
Tema: formelle språk og grammatikker / naturlig deduksjon
Frist: Torsdag 9. 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
- LaTeX-mal for den obligatoriske oppgaven
- Nettskjema for egenmelding ved behov for utsettelse
Frist: Fredag 19. april, kl. 23:59