- 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.
- Innlevering 1 Kapittel 1 og 2
Tema: grunnleggende mengdel?re / utsagnslogikk
Frist: Torsdag 29. januar, kl. 23:59 - Innlevering 2 Kapittel 3 og 4
Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
Frist: Torsdag 5. februar, kl. 23:59 - Innlevering 3 Kapittel 5 og 6
Tema: bevis, formodninger og moteksempler / relasjoner
Frist: Torsdag 12. februar, kl. 23:59 - Innlevering 4 Kapittel 7 og 8
Tema: funksjoner / litt mer mengdel?re
Frist: Torsdag 19. februar, kl. 23:59 - Innlevering 5 Kapittel 9 og 10
Tema: tillukninger og induktivt definerte mengder / rekursive funksjoner
Frist: Torsdag 26. februar, kl. 23:59 - Innlevering 6 Kapittel 11 og 12
Tema: matematisk induksjon / strukturell induksjon
Frist: Torsdag 5. mars, kl. 23:59 - Innlevering 7 Kapittel 13 og 14
Tema: f?rsteordens spr?k / representasjon av kvantifiserte utsagn
Frist: Torsdag 19. mars, kl. 23:59 - Innlevering 8 Kapittel 15 og 16
Tema: tolkning i modeller / resonnering om modeller
Frist: Torsdag26. mars9. april, kl. 23:59 - Innlevering 9 Kapittel 17 og 18
Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk
Frist: Torsdag 16. april, kl. 23:59 - Innlevering 10 Kapittel 19 og 20
Tema: litt mer kombinatorikk / litt abstrakt algebra
Frist: Torsdag 23. april, kl. 23:59 - Innlevering 11 Kapittel 21 og 22
Tema: grafteori / vandringer i grafer
Frist: Torsdag 30. april, kl. 23:59 - Innlevering 12 Kapittel 23 og 24
Tema: formelle spr?k og grammatikker / naturlig deduksjon
Frist: Torsdag 7. 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.
Ved behov for utsettelse, ta kontakt med gruppel?rer innen fristen.
Frist: Fredag 27. mars kl. 23:59