- 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 11 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. Du kan ogs? finne kommandoer for symboler raskt p? denne nettsiden: Detexify LaTeX handwritten symbol recognition.
Frivillige innleveringsoppgaver
Endringer kan forekomme, s? dobbeltsjekk f?r innlevering.
- Kompendium med alle innleveringsoppgaver kommer snart!
- Innlevering 1 Kapittel 1 og 2
Tema: grunnleggende mengdel?re / utsagnslogikk
Frist: Fredag 31. januar, kl. 23:59 - Innlevering 2 Kapittel 3 og 4
Tema: semantikk for utsagnslogikk / utsagnslogiske begreper
Frist: Fredag 7. februar, kl. 23:59 - Innlevering 3 Kapittel 5
Tema: bevis, formodninger og moteksempler
Frist: Fredag 14. februar, kl. 23:59 - Innlevering 4 Kapittel 6 og 7
Tema: relasjoner / funksjoner
Frist: Fredag 21 februar, kl. 23:59 - Innlevering 5 Kapittel 8 og 9
Tema: litt mer mengdel?re / tillukninger og induktivt definerte mengder
Frist: Fredag 28. februar, kl. 23:59 - Innlevering 6 Kapittel 10, 11 og 12
Tema: rekursive funksjoner / matematisk induksjon / strukturell induksjon
Frist: Fredag 14. mars, kl. 23:59 - Innlevering 7 Kapittel 13 og 14
Tema: f?rsteordens spr?k / representasjon av kvantifiserte utsagn
Frist: Fredag 28. mars, kl. 23:59 - Innlevering 8 Kapittel 15 og 16
Tema: tolkning i modeller / resonnering om modeller
Frist: Fredag 4. april, kl. 23:59 - Innlevering 9 Kapittel 17 og 18
Tema: abstraksjon med ekvivalenser og partisjoner / kombinatorikk
Frist: Fredag 11. april, kl. 23:59 - Innlevering 10 Kapittel 19, 20 og 21
Tema: litt mer kombinatorikk / litt abstrakt algebra / grafteori
Frist: Fredag 2. mai, kl. 23:59 - Innlevering 11 Kapittel 22, 23 og 24
Tema: vandringer i grafer / formelle spr?k og grammatikker / naturlig deduksjon
Frist: Fredag 9. mai, kl. 23:59
Obligatorisk oppgave
Den obligatoriske innleveringen best?r av oppgaver fra innlevering 1 til 7. 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 - ikke tilgjengelig enn?.
- LaTeX-mal for den obligatoriske kommer snart
- Nettskjema for egenmelding ved behov for utsettelse
Frist: Mandag 31. mars, kl. 23:59