Beskjeder
Det er like f?r eksamen. Lykke til! Husk ? bruk tiden godt og lese oppgavene n?ye. Kort tid etter eksamen vil vi legge ut et l?sningsforslag her. Takk for n?!
Det n?rmer seg eksamen! Her er litt informasjon om avsluttende digital eksamen.
Eksamenssettet skal besvares digitalt, og formatet vil likne p? tidligere ?rs format, hvor én del best?r av flervalgsoppgaver og én del best?r av langsvarsoppgaver.
Sjekk informasjon om tid, sted og trekkfrist her: http://www.uio.no/studier/emner/matnat/ifi/IN1150/h19/eksamen/
Husk at du m? ha en gyldig UiO-bruker og huske ditt UiO-brukernavn og passord n?r du kommer i eksamenslokalet. Ta med gyldig legitimasjon.
Les ogs? UiOs generelle brukerveiledning for digital eksamen /studier/eksamen/inspera/.
Det vert ikkje laga nynorsk oppg?vesett
Grunna omfattande oppg?vetekst vert det ikkje laga nynorsk oppg?vesett hausten 2017, jfr unntak i § 3b i Forskrift om m?lform i eksamensoppgaver.
Nettkurset n?rmer seg raskt slutten, og siste frist for ? levere oppgaver fra kapitlene 16–18, er i dag. Her kommer en liten oppdatering og p?minnelse!
Eksamen
/studier/emner/matnat/ifi/IN1150/h19/eksamen/
Eksamen n?rmer seg: 19. november kl. 09.00. Trekkfristen er 1. november. Se siden over for informasjon. For en oversikt over tidligere eksamener, se her: /studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver
Fredagsm?ter
/studier/emner/matnat/ifi/IN1150/h19/timeplan/
Innleveringsoppgaver
...
Det ? ta nettkursvarianten av IN1150 krever mye selvdisiplin og kontinuerlig arbeid, og det er n? allerede uke fire. Du burde i l?pet av forrige uke ha jobbet deg gjennom kapitlene 1-7 og denne uken fokusere p? kapitlene 8-10. Siste frist for ? levere oppgaver fra kapitlene 1-3, er fredag 13. september. Her kommer en liten oppdatering og p?minnelse!
Innleveringsoppgaver
/studier/emner/matnat/ifi/IN1150/h19/innleveringer/
Flere har spurt om de kan levere flere oppgaver i én fil, og det er ok. Sjekk innleveringssiden for detaljene.
Viktig: Legg merke til at det ikke er meningen at det skal v?re ?tt...
Denne uken b?r du sette av til kapitlene 2, 3 og 4, som alle handler om utsagnslogikk! S? fort Devilry er p? plass (det er noen tekniske problemer som unders?kes av drift n?), vil du ogs? v?re i stand til ? levere de f?rste innleveringene og f? tilbakemelding p? dem.
N? er den f?rste uken med selvstudium i gang, og i l?pet av denne uken b?r du v?re ferdig med kapittel 0 og 1. Ta en titt p? ukeplanen for oversikten over anbefalt progresjon.
Alle skal n? ogs? ha f?tt en velkomst-e-post med praktisk informasjon.
VI kommer til ? ha et l?pende tilbud hvor du kan m?te opp, regne oppgaver og stille sp?rsm?l p? fredager kl. 14.15-16.00 i Caml i Ole-Johan Dahls. Dette begynner i morgen fredag 23. august. Se p? timeplanen for informasjon og eventuelle endringer.
N?r det gjelder obligatoriske innleveringsoppgaver, finner du all informasjon p? siden med innleveringsoppgaver. Listen med oppgaver nylig blitt oppdatert, s? dobbeltsjekk f?r du leverer noe. Det forutsettes at alle som leverer har lest og godtatt...
Velkommen til IN1150 - Logiske metoder ved Institutt for informatikk, som nettkurs for h?sten 2019! 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.
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 pen...