Beskjeder

Publisert 29. juni 2020 14:51

Et l?sningsforslag (med sensorveiledning) ligger n? tilgjengelig p? oversikten over tidligere eksamener. God sommer! ??

Publisert 25. mai 2020 16:48

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...

Publisert 21. mai 2020 15:55

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?...

Publisert 13. mai 2020 23:56

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...

Publisert 8. mai 2020 22:18

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...

Publisert 27. apr. 2020 15:09

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

Publisert 3. apr. 2020 19:19

Denne uken har temaet v?rt kapittel 17 (abstraksjon med ekvivalenser og...

Publisert 3. apr. 2020 16:34

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.

Publisert 22. mars 2020 20:00

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...

Publisert 17. mars 2020 16:29

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.

Publisert 16. mars 2020 14:39

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).

Publisert 11. mars 2020 21:34

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...

Publisert 2. mars 2020 10:27

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...

Publisert 18. feb. 2020 15:43

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...

Publisert 12. feb. 2020 11:23

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...
Publisert 28. jan. 2020 12:51

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....

Publisert 8. jan. 2020 11:23

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...