Beskjeder
Vi avsluttet sensuren i dag, og karakterene blir publisert i l?pet av dagen. Her er karakterfordelingen:
- Antall som fikk A: 15 (16%)
- Antall som fikk B: 18 (19%)
- Antall som fikk C: 26 (27%)
- Antall som fikk D: 24 (25%)
- Antall som fikk E: 13 (13%)
- Antall som fikk F: 11 (10%)
Vi minner om at l?sningsforslaget (med sensorveiledning) ligger p? semestersiden. Dette er utgangspunktet for sensuren. Dersom du har sp?rsm?l eller kommentarer til l?sningsforslaget, ta kontakt med rantonse@ifi.uio.no.
Takk for f?lget, og lykke til med videre studier!
Gratulerer til alle med en forh?pentligvis vel gjennomf?rt eksamen! ?
?rets eksamen og l?sningsforslag er n? lagt ut p? siden med tidligere eksamener. (Finner du feil her eller har kommentarer, ikke n?l med ? ta kontakt.)
Vi begynner straks arbeidet med ? sensurere, og vi regner med ? v?re ferdig innen et par uker (senest tre).
Igjen, takk for f?lget, og lykke til med resten av eksamenstiden!
Tusen takk for f?lget dette semesteret! Jeg h?per dere har l?rt masse og at kurset har inspirert til videre studier.
Og lykke til med eksamen i morgen! Pust med magen, bruk tiden godt, og pass p? at dere leser oppgavene n?ye og dobbeltsjekker svarene. L?sningsforslag blir lagt ut en gang etter eksamen.
Takk for n?!
Hjemmeeksamen er rett rundt hj?rnet, tirsdag 17. november kl. 15.00, og her er noen viktige opplysninger, tips og p?minnelser. Det meste av dette vil ogs? st? p? forsiden p? eksamen.
Gjennomf?ring og eventuelle sp?rsm?l underveis:
- Det er viktig at man leser siden ?Eksamensavvikling ved MN-fakultetet h?sten 2020? (https://www.mn.uio.no/om/hms/koronavirus/eksamen-2020.html). Viktig praktisk informasjon om gjennomf?ringen av hjemmeeksamen finnes der.
- P? nettsiden ?Brukerst?tte for hjemmeeksamen? (...
Det finnes n? en pr?veeksamen i Inspera som alle skal ha tilgang til.
Vi anbefaler p? det sterkeste at alle fors?ker seg p? denne. Da f?r man en f?lelse for hvordan Inspera funker, hvordan eksamenssituasjonen blir og litt om hvordan oppgavene kommer til ? se ut.
Pr?veeksamen er ?pen fra n? og frem til mandag 16. november kl. 19.00.
I l?pet av neste uke kan vi ta en gjennomgang av den, i tillegg til litt repetisjon, dersom det er interesse for det. Hvis du er interessert og har anledning, send inn svar p? f?lgende skjema: https://nettskjema.no/a/171753
Eksamen n?rmer seg, og her kommer en kort p?minnelse og oppdatering.
Vi inviterer som vanlig til Zoom-sp?rretime fredag kl. 12.15–14.00. Det blir sp?rsm?lsdrevet, samtalebasert, uformelt og uten opptak. Hvis du vil sende inn sp?rsm?l p? forh?nd, kan du gj?re det via f?lgende nettskjema: https://nettskjema.no/a/in1150h20spm
Vi har ogs? laget en pr?veeksamen i Inspera. S? fort den er tilgjengelig (forh?pentligvis f?r helgen) gir vi beskjed. Vi anbefaler p? det sterkeste at alle fors?ker seg p? den, for da f?r man en f?lelse for hvordan Inspera funker, hvordan eksamenssituasjonen blir og litt om hvordan oppgavene kommer til ? se ut.
Lykke til videre!
Det ble p? fredag sendt ut en e-post om eksamen til alle studenter. Det blir alts? en digital hjemmeeksamen i IN1150 i stedet for en ordin?r digital skoleeksamen i Silurveien. Her er litt mer utfyllende informasjon.
Eksamen blir p? fire timer med bokstavkarakter. Formen p? eksamen blir tilsvarende den som er brukt h?sten 2019, v?ren 2019, h?sten 2018, v?ren 2018, 2017 og 2016. Eksamen vil best? av to deler: én del med sm? oppgaver (sant/usant) og én del med st?rre oppgaver.
Her er tidligere eksamener i kurset: /studier/emner/matnat/ifi/IN1150/h20/tidligere-eksamener/
Mer n?yaktige regler for gjennomf?ring kommer snart, men i korte trekk blir det f?lgende: Alle tilgjengelige kilder kan brukes. Under eksamen er det ikke tillatt ? kommunisere med andre personer om oppgaven eller ? dele sitt arb...
Husk at fristen for innlevering av oppgaver fra kapitlene 22, 23 og 24 er fredag 30. oktober kl. 23.59.
Trekkfristen for eksamen er 1. november. Dersom du ikke har tenkt til ? ta eksamen, er det lurt ? melde seg av.
Det blir Zoom-sp?rretime fredag kl. 12.15–14.00. Som vanlig blir det sp?rsm?lsdrevet, samtalebasert, uformelt og uten opptak. Hvis du vil sende inn sp?rsm?l p? forh?nd, kan du gj?re det via f?lgende nettskjema: https://nettskjema.no/a/in1150h20spm
Zoom-sp?rretime p? fredager
Forrige fredags Zoom-sp?rretime gikk bra, og vi satser p? ? holde Zoom-sp?rretimer fremover p? fredager kl. 12.15–14.00, hvor du m?te opp og f? hjelp til oppgaveregning og det du eventuelt syns er vanskelig i kurset. Dette er ment som et frivillig ekstratilbud til deg som ?nsker en litt mer “personlig” tilstedev?relse, og vi satser p? ? gj?re det sp?rsm?lsdrevet, samtalebasert og uformelt. Opplegget er enkelt: Hvis du har sp?rsm?l, besvarer vi dem s? godt vi kan. Dette blir alts? ingen forelesning eller gruppetime hvor vi gjennomg?r forskjellige temaer, men et forum for deg som vil snakke og sp?rre om fag og oppgaver. Det blir ikke gjort noe opptak. Tenk p? det som v?r kontortid, hvor vi er tilgjengelig for sp?rsm?l. (Mer informasjon med lenke til Zoom er sendt p? e-post.)
Induksjonbevis
Etter induktivt definerte mengder og rekursive funksjoner kommer induksjonbevis, det vil si bevis ved induksjon. F?rst er det bevis ved matematisk induksjon i kapittel 11, og s? er det bevis ved strukturell induksjon i kapittel 12. Det er bare én m?te ? l?re seg induksjonbevis ordentlig p?, og det er ved ? gj?re mange induksjonsbevis selv. Trening!
Det er mange som opplever at det er noe som ?faller p? plass? etter at man har gjort en del slike bevis. Hvordan trener man s? p? slike bevis? Man skriver, enten p? datamaskin eller ark, og sjekker at alle detaljene er p? plass. Fors?k ? lese beviset ditt som om du leste det i en bok, og sjekk om alt er forst?elig. Hvis det ikke er det, er det noe som...
Her er en kort p?minnelse og litt om veien videre.
Mer mengdel?re, induktivt definerte mengder og rekursive funksjoner
Denne uken er tiden inne for ? l?re om induktivt definerte mengder og rekursive funksjoner. Dette temaene for kapitlene 9 og 10. Kapittel 8 introduserer litt mer mengdel?re, og snakker spesielt om uendelighet, som er er n?dvendig for kapitlene som f?lger. Det er n? kurset begynner ? bli litt mer utfordrende, og det er sv?rt viktig at du bruker tiden godt. Ved slutten av denne uken b?r du satse p? ? levere noen innleveringsoppgaver fra disse kapitlene.
Litt om innleveringsoppgavene
For ? ta eksamen i IN1150 m? du levere og f? godkjent en viss mengde innleveringsoppgaver. Du kan selv velge n?r du le...
Bevis, relasjoner og funksjoner
Denne uken b?r du arbeide med kapitlene 5, 6 og 7 og l?re om bevis, relasjoner og funksjoner. I l?pet av uken b?r du ogs? levere innleveringsoppgavene knyttet til kapitlene. Vi minner om at innleveringsfristene er satt opp mye senere enn n?r man b?r v?re ferdig med stoffet. (De er ment som aller siste frister for innlevering, og man b?r levere lenge f?r.)
Tips, triks og nyttige lenker
- Bruk den anbefalte progresjonen: /studier/emner/matnat/ifi/IN1150/h20/ukeplan/
- Sp?r p? Mattermost: https://mattermost.uio.no/ifi-in1150/
- Nettkurset har en statusside som viser din progresjon: https://log...
N? er kurset i gang for fullt, og det er viktig at du passer p? at du har en viss progresjon. Dersom du blir hengende etter, er det vanskelig ? hente seg inn igjen. Her kommer en liten oppdatering og p?minnelse.
Anbefalt progresjon
/studier/emner/matnat/ifi/IN1150/h20/ukeplan/
Denne uken b?r du arbeide med kapitlene 2, 3 og 4, det vil si alt som har ? gj?re med utsagnslogikk. N?r du har arbeidet deg gjennom et kapittel, ideelt sett ved ? lese i boken og se p? nettkurset, b?r du gj?re oppgavene i boken og i nettkurset. N?r du f?ler deg komfortabel med kapitlet, b?r du f?re inn og levere in...
Et rent nettkurs
Dette kurset er et rent nettkurs, og det er ingen ordin?re forelesninger, fellestimer eller gruppetimer, men vi kommer til ? ha et l?pende digital tilbud hvor du kan stille sp?rsm?l, diskutere faget og f? tilbakemelding p? oppgaver. Etter hvert vil vi ogs? sette opp noen m?teplasser (fysiske eller digitale) hvor du kan f? hjelp.
Viktig: Det ? ta IN1150 som nettkurs krever mye selvdisiplin og kontinuerlig arbeid, og derfor b?r du s? fort som mulig begynne ? lese boken og bruke nettkurset.
Timeplan og progresjon
/studier/emner/matnat/ifi/IN1150/h20/timeplan/
All erfaring i dette kurset tilsier at kurset blir mer utfordrende fra og med kapittel 9, og det er derfor viktig at du begynner tidlig og jobber jevnt. Vi har derfor lag...
Velkommen til IN1150 - Logiske metoder ved Institutt for informatikk, som nettkurs for h?sten 2020! Her kommer det snart mer informasjon om kurset du tar dette semesteret.
Semestersiden
Alle viktige beskjeder og blir lagt ut p? denne siden, s? sjekk den regelmessig. Dette er den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset. Mer informasjon, om innleveringsoppgaver og undervisningstilbud, kommer snart.
Pensum
Pensum i kurset er l?reboken ?Logiske metoder: kunsten ? tenke abstrakt og matematisk? (Universitetsforlaget, 2014). I tillegg anbefales ?Studiebok til Logiske metoder? (Universitetsforlaget, 2017). Se...