Beskjeder
Et l?sningsforslag (med sensorveiledning) ligger n? tilgjengelig p? oversikten over tidligere eksamener. God sommer! ??
Vi har opprettet en nettside for sp?rsm?l og svar knyttet til hjemmeeksamen. Den finner du her:
/studier/emner/matnat/ifi/IN1150/v20/hjemmeeksamen/
Det er funnet én skrivefeil, som er f?lgende:
- Oppgave 4, side 7: Her skal treet (d) representeres som ((? ? ? ?) (?) (? ? ? ?)), hvor det st?r (?) i midten, og ikke ((?)).
Det er lurt ? ta kikke innom denne siden en gang i blant for ? se om det har kommet inn noen nye sp?rsm?l. Nederst p? siden st?r det n?r den sist ble oppdatert.
Vi minner om at alle henvendelser (faglige, tekniske, administrative) ang?ende hjemmeeksamen under eksamenstiden skal g? via skjemaet som er tilgjengelig fra siden ?Brukerst?tte under eksamen? (https://www.mn.uio...
F?rst og fremst, tusen takk for f?lget dette semesteret. Det ble veldig annerledes enn vi forventet ved semesterstart, men jeg b?de h?per og tror at dere har l?rt masse i l?pet av denne v?ren!
Hjemmeeksamen begynner i morgen, fredag 22. mai kl. 14.30, og jeg vil med dette bare ?nske dere lykke til og komme med noen praktiske opplysninger, tips og p?minnelser:
Gjennomf?ring og eventuelle sp?rsm?l underveis
Det er viktig at dere tar en tur innom siden ?Avsluttende eksamen p? MN-fakultetet v?ren 2020? (https://www.mn.uio.no/om/hms/koronavirus/eksamen-2020.html). Viktig praktisk informasjon om gjennomf?ringen av hjemmeeksamen finnes der.
Alle sp?rsm?l underveis knyttet til eksamen, uansett om det er faglig eller teknisk, skal g? via et skjema som er tilgjengelig fra siden ?Brukerst?tte under eksamen?...
Takk til alle som ble med p? gjennomgangen av pr?veeksamen i dag, spesielt dere som hadde p? kamera og dere som bidro med sp?rsm?l og svar. Vi fortsetter gjennomgangen med oppgave 4 og 5 i morgen, torsdag 14. mai kl. 13.15, med en myk overgang til avslutnings-Zoom-festen rundt kl. 14.15. L?sningsforslagene til oppgave 1, 2 og 3 ligger p? siden med tidligere eksamensoppgaver og vil oppdateres etter gjennomgangen.
I god tradisjon arrangerer vi en avslutningsfest i IN1150, og alle som tar IN1150 inviteres herved til en faglig-sosial avslutnings-Zoom-fest (med premier) torsdag 14. mai kl. 14.15–16.00.
Dette markerer kurset er over og at eksamen er rett rundt hj?rnet, bare ?tte dager unna. Vi planlegger en ettermiddag med eksamenstips, miniforedrag, konkurranser og annen faglig moro. Fagansvarlig, gruppel?rerne, rettere og and...
Det er n? n?yaktig to uker til hjemmeeksamen begynner, fredag 22. mai kl. 14.15!
Pr?veeksamen
Det finnes n? en pr?veeksamen i Inspera (http://uio.inspera.no/) 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. En viktig del av kurset er ? kunne lese og bruke definisjoner, utforske hva som er sant og usant og argumentere for p?stander, og derfor handler naturligvis mange av oppgavene om dette. Pr?veeksamen er ?pen fra n? og frem til fredag 15. mai kl. 14.30. Den blir gjennomg?tt via Zoom (se under) p? onsdag 13. mai kl. 12.15–14.00. Den ligger ogs? tilgjengelig her.
Undervisn...
Vi er fremme ved den siste uken med nytt stoff, og temaet for denne uken, fra mandag 27. april til fredag 1. mai er formelle spr?k og naturlig deduksjon. I tillegg til boken har vi et tilbud med nettkurs, Zoom-undervisning, YouTube-forelesninger, og Mattermost.
Nettkurset
- Kapittel 23: Formelle spr?k og grammatikker
Denne uken har temaet v?rt kapittel 17 (abstraksjon med ekvivalenser og...
Det blir skriftlig hjemmeeksamen i Inspera denne v?ren. Den vil starte 22. mai og vare i 7 dager. Karakterskalaen blir best?tt / ikke best?tt. Mer informasjon finnes p? eksamenssiden. Husk at kravet for ? ta eksamen er at man har f?tt 96 poeng (av totalt 192 mulige) p? innleveringsoppgavene.
Fra og med mandag 23. mars blir det lagt opp til digital undervisning i IN1150. Her f?lger litt informasjon om progresjonen du b?r f?lge, og hvilke tilbud du har, n? i tiden fremover (med vekt p? den kommende uken).
(For generell informasjon om koronaviruset og hvilke konsekvenser det har for Univ...
Vi har n? gitt alle som ikke har f?tt levert innlevering 7 en ny frist (til mandag 23. mars). Fristen for innlevering 8 er utsatt til torsdag 26. mars.
Vi oppfordrer ogs? alle til ? bruke Mattermost flittig. Der kan man stille sp?rsm?l og diskutere fag. Der vil vi ogs? annonsere Zoom-sesjoner og eventuell annen digital undervisning.
Det er ingen undervisning denne uken. Fra og med 23. mars fortsetter vi med digital undervisning. Alle innleveringsfristene har blitt forskj?vet med én uke, og kravet for ? ta eksamen har blitt endret til 96 poeng totalt (i stedet for 32 poeng per bolk). Vi er tilgjengelig for sp?rsm?l via Mattermost og e-post, men alle ikke-faglige sp?rsm?l g?r via administrasjonen (studieinfo@ifi.uio.no).
Kj?re IN1150-student,
Vi legger om til mer digital undervisning
/studier/emner/matnat/ifi/IN1150/v20/timeplan/
UiO har i dag kommet med nye retningslinjer ang?ende undervisning, og bakgrunnen er et ?nske om ? hindre spredning av koronavirus. For informasjon om dette, se her: /om/hms/koronavirus/index.html
Den eneste konsekvensen for IN1150, inntil videre, er at fellestimene p? onsdager og fredager er avlyst, og at det blir et st?rre fokus p? digital undervisning. Vi har god erfaring med ? undervise IN1150 som nettkurs, s? dere kan regne med at opplegget fremover er godt. Gruppeundervisningen og [sn|gr]ublegruppene g?r som normalt dersom ingenting annet st?r i timeplanen. Cafétilbudet i Escape, som egentlig skulle flyttes til torsdager, f...
Denne uken er temaet bevis ved matematisk og strukturell induksjon. Bra saker. Det er s?nn omtrent n? at kurset for mange begynner ? bli mer utfordrende, og det er derfor viktig ? passe p? at du henger med. Her er en oversikt over noen av tilbudene du har til r?dighet. (Det er naturligvis ikke slik at b?r benytte deg av alle disse. Du b?r velge hva som passer best for deg.)
Gruppeundervisningen
/studier/emner/matnat/ifi/IN1150/v20/gruppeundervisning/
Gruppetimene er kanskje det viktigste stedet hvor du kan l?re deg pensum. Her kan du komme og f? en repetisjon...
Dersom du ikke har svart p? sp?rreunders?kelsen, gj?r det! Dette gjelder s?rlig dere som ikke kommer p? fellestimene. Det er bare ? logge inn p? https://nettskjema.no/, s? vil man se skjemaet der, fordi alle som er oppmeldt i kurset er invitert. Dersom du ikke har tilgang, ta kontakt. P? fredag kl. 10.15 snakker vi om resultatet.
Temaet for denne uken
Denne uken handler det om funksjoner (kapittel 7) og mer mengdel?re (kapittel 8). P? onsdag kl. 14.15 kommer Andreas Nakkerud og regner oppgaver og snakker mer om uendelighet. P? fredag kl. 10.15 begynner vi med kapittel 9 (induktivt definerte mengder) og 10 (rekursive funksjoner). Det er akkurat n? kurset begynner ? bli noe mer intenst, og de...
Denne uken handler det om kapittel 5 (bevismetoder) og 6 (relasjoner) i IN1150. Kom p? fellestime for oppgaveregning og repetisjon!
Sp?rreunders?kelse
P? fredag sendte vi ut en liten sp?rreunders?kelse for ? f? tilbakemelding om kurset, spesielt om hvordan vi kan gj?re undervisningen bedre for deg og hvordan vi b?r bruke fellestimene og gruppeundervisningen. Det er fortsatt under halvparten som har svart, og s?rlig gjelder det dere som ikke kommer p? fellestimene. Vi h?per at du deltar!
Noen tips
- Ikke fokuser kun p? innleveringsoppgavene! Meningen med disse oppgavene er ? f? flest mulig til ? jobbe jevnt og hardt helt fra begynnelsen av, at man skal kunne f? individuell tilbakemelding p? det man gj?r og at man skal l?re. Dersom du f?r godkjent...
Denne uken begynner gruppeundervisningen for fullt, og f?rste innleveringsfrist er allerede p? torsdag. Her kommer en liten oppdatering!
Litt om fredagstimene, onsdagstimene og progresjonen
Vi har begynt p? et opplegg hvor fredagstimene brukes til ? repetere og gjennomg? to nye kapitler i boken, og hvor den neste uken, fra mandag til torsdag, brukes til ? fortsette p? disse to kapitlene: regne oppgaver, g? p? gruppeundervisning, g? p? fellestimen p? onsdag, og deretter levere en oppgave p? torsdag. For eksempel begynte vi n? med ? gjennomg? kapittel 1 p? fredag, og vi kommer til ? raskt gjennomg? kapittel 2 p? onsdag, i tillegg til ? regne noen oppgaver og svare p? sp?rsm?l....
Velkommen til IN1150 - Logiske metoder ved Institutt for informatikk, for v?ren 2020! Her f?lger litt praktisk og nyttig informasjon om kurset du m?ter 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 gruppeundervisning, 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 pensumsiden for mer informasjon.
Timeplan og progres...