- 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 8 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
- Innleveringsoppgaver for Kapittel 1 og 2
Tema: grunnleggende mengdel?re / utsagnslogikk
Frist: Torsdag 29. august, kl. 23:59 - Innleveringsoppgaver for Kapittel 3 og 4
Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
Frist: Torsdag 5. september, kl. 23:59 - Innleveringsoppgaver for Kapittel 5 og 6
Tema: bevis, formodninger og moteksempler / relasjoner
Frist: Torsdag 12. september, kl. 23:59 - Innleveringsoppgaver for Kapittel 7 og 8
Tema: funksjoner / litt mer mengdel?re
Frist: Torsdag 19. september, kl. 23:59 - Innleveringsoppgaver for Kapittel 9 og 10
Tema: tillukninger og induktivt definerte mengder / rekursive funksjoner
Frist: Torsdag 26. september, kl. 23:59 - Innleveringsoppgaver for Kapittel 11 og 12
Tema: matematisk induksjon / strukturell induksjon
Frist: Torsdag 3. oktober, kl. 23:59 - Innleveringsoppgaver for Kapittel 13 og 14
Tema: f?rsteordens spr?k / representasjon av kvantifiserte utsagn
Frist: Torsdag 10 oktober, kl. 23:59 - Innleveringsoppgaver for Kapittel 15 og 16
Tema: tolkning i modeller / resonnering om modeller
Frist: Torsdag 17 oktober, kl. 23:59 - Selvstudiumsoppgaver for Kapittel 17 og 18
Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk - Selvstudiumsoppgaver for Kapittel 19 og 20
Tema: litt mer kombinatorikk / litt abstrakt algebra - Selvstudiumsoppgaver for Kapittel 21 og 22
Tema: grafteori / vandringer i grafer - Selvstudiumsoppgaver for Kapittel 23 og 24
Tema: formelle spr?k og grammatikker / naturlig deduksjon
Obligatorisk oppgave
Den obligatoriske innleveringen best?r av oppgaver fra de frivillige innleveringsoppgavene fra Kapittel 1 til Kapittel 16. 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.
- Publiseres: Torsdag 10. oktober
- Frist: Torsdag 24. oktober, kl. 23:59