Semesterside for IN1150 - Vår 2019

Sensuren klar. Vi vurderte totalt 278 kandidater og karakterfordelingen ble slik:

ABCDEF
27 (10%)51 (19%)104 (39%)53 (20%)34 (13%)9 (3%)

Gratulerer, og takk for et fint semester!

9. juni 2019 20:54

Vi som underviser IN1150 håper at du har at du har lært masse denne våren og at du tar med deg mye verdifull kunnskap og mange nyttige metoder videre i studiene og livet forøvrig. Nå ligger både eksamen og løsningsforslag på siden over tidligere eksamenerTusen takk for følget!

 

24. mai 2019 19:13

Eksamen fra nettkurset høsten 2018 skal nå være tilgjengelig i Inspera. Den vil være åpen frem til 23. mai kl. 18.30. Dette er kun et tilbud for de som ønsker å se hvordan en digital eksamen ser ut. For løsningsforslag og de andre tidligere eksamenene, se siden over tidligere eksamener.

11. mai 2019 22:07

Takk for en hyggelig avslutningsfest. Eksamen nærmer seg, og i denne siste uken har vi følgende tilbud til de som ønsker litt mer repetisjon:

På tirsdag 14. mai kl. 12.15–14.00 blir det regning & retting av gamle eksamensoppgaver:

  • Tirsdag 14. mai 12.15–14.00, Simula, Roger og Andreas N.

På tirsdag, onsdag og torsdag kl. 10.15–12.00 blir det ekstra gruppetimer med repetisjon.

  • Tirsdag 14. mai 10.15–12.00, Prolog, Ida og Tania
  • Onsdag 15. mai 10.15–12.00, Caml, Eirik og Tonje
  • Torsdag 16. mai 10.15–12.00, Pascal, Stein og Kristoffer

Vel møtt!

11. mai 2019 14:17

Fredag 10. mai 2019 fra kl. 12.15 til ca. 16.00, arrangerer vi i god tradisjon en avslutningsfest for å feire at fellestimene er over og at eksamen nærmer seg.

Det blir pizza, konkurranser, flotte bøker som premier, Kahoot, miniforedrag, gjennomgang av fjorårets eksamen, og mye annen moro. Vi får besøk av mange tidligere forelesere og gruppelærere, og det blir en dag med mye faglig moro.

PÅMELDING: https://nettskjema.no/a/117803
Frist:
Fredag 10. mai kl. 10.59

Vi har laget et enkelt, lite påmeldingsskjema. Det er helt frivillig å fylle det ut, men: For å få pizza er det både nødvendig og tilstrekkelig å fylle det ut, og for å være med i trekningen av premier er det nødvendig (men ikke tilstrekkelig) å fylle det ut. Pizza serveres ca. kl. 16.00 og fristen for å melde seg på er fred...

9. mai 2019 09:23

I uke 19 (6.–10. mai) blir det repetisjon av alle kapitlene i gruppetimene, og kapitlene er fordelt mellom de åtte gruppene. En oversikt over dette ligger under eksamensforberedelser. Vi planlegger også å sette opp tre ekstra dobbelttimer med repetisjon (14.‚ 15. og 16. mai kl. 10.15). Informasjon kommer så snart alt er klart.

6. mai 2019 07:47

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/v19/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 https://www.uio.no/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.

5. mai 2019 12:48
I dag, fredag 3. mai kl. 12.15–14.00, er det siste ordinære fellestime i IN1150! Temaet er kapittel 23 (formelle språk og grammatikker) og 24 (naturlig deduksjon). Det blir fokus på naturlig deduksjon og hvordan vi kan formalisere matematiske bevis.
 
Den vanlige IN1150-kaféen flyttes til Seminarrom C i 3. stasjon i Ole-Johan Dahls hus fra kl. 15.15 til 17.00. Vi kan ikke love kaffe, men vi kan love at du får all mulig slags hjelp til å forstå pensum.
 
Velkommen!
3. mai 2019 07:54

Dette er den siste uken med nytt stoff! Forrige uke tok vi for oss grafteori med kapittel 21 og 22, og denne uken er det kapittel 23 (formelle språk og grammatikker) og kapittel 24 (naturlig deduksjon) som står for tur. På tirsdag repeterer vi det viktigste i de to kapitlene, og på fredag blir det oppgaveregning med spørsmål og svar. Dersom noen har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. PS. Tirsdag 7. mai blir det repetisjon av hele pensum, og fredag 10. mai blir det en avslutningsfest med pizza, premier, miniforedrag og annen moro.

29. apr. 2019 10:19

Vi er nå midt i den siste bolken av kurset. Forrige uke tok vi for oss kapittel 17 (abstraksjon) og kapittel 18 (kombinatorikk), og denne uken er det kapittel 19 (mer kombinatorikk) og kapittel 20 (abstrakt algebra) som står i fokus. På fredag blir det vanlig oppgaveregning med spørsmål og svar, og hvis noen har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. Merk: Det er ingen undervisning i uken 15.–20. april. Vi fortsetter deretter tirsdag 23. april med kapittel 21 og 22 (grafteori).

11. apr. 2019 09:15

Vi er nå halvveis i kurset, og denne uken begynner vi på en ny bolk med fire kapitler som henger nøye sammen: kapittel 13 (førsteordens språk), kapittel 14 (representasjon av kvantifiserte utsagn), kapittel 15 (tolkning i modeller) og kapittel 16 (resonnering om modeller). På tirsdag blir det som vanlig repetisjon av to kapitler (kom forberedt!), og på fredag blir det oppgaveregning med spørsmål og svar. Hvis noen har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. Vi sees!

18. mars 2019 12:29

Vi har nå begynt på en bolk med fire kapitler som henger sammen: kapittel 9 (induktivt definerte mengder) og kapittel 10 (rekursive funksjoner) og kapittel 11 (matematisk induksjon) og kapittel 12 (strukturell induksjon). Dette er typisk nå kurset begynner å bli litt mer utfordrende (men også mer interessant), så det lønner seg å lese litt ekstra. På fredag kl. 12.15–14.00 blir det igjen oppgaveregning med spørsmål og svar, på samme måte som forrige fredag. Hvis dere har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. Vi sees på fredag!

6. mars 2019 09:56

Tirsdag 26. februar gikk vi gjennom kapittel 7 (funksjoner) og 8 (litt mer mengdelære). Det markerer at vi straks er gjennom én tredjedel av kurset. På fredag kl. 12.15–14.00 blir det igjen oppgaveregning med spørsmål og svar, på samme måte som forrige fredag. Hvis dere har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere da, si ifra til meg via Slack eller direkte på e-post. Vi sees på fredag!

27. feb. 2019 10:56

Dette er uke tre av tolv, og denne uken tar vi for oss kapittel 5 (bevis, formodninger og moteksempler) og kapittel 6 (relasjoner) i fellestimene. På fredag 22. februar kl. 12.15 blir det oppgaveregning med spørsmål og svar, på samme måte som forrige fredag. Hvis dere har noen ønsker til oppgaver, eller annet som vi bør gjennomgå nærmere, si ifra via Slack eller direkte til meg. Vel møtt! PS. Begge fellestimene forutsetter at du har lest pensum og kommer forberedt.

19. feb. 2019 15:21

Vi har begynt med et par nye ting dette semesteret, mest for moro skyld, men vi ønsker også at det skal være både faglig motivert og faglig relevant:

19. feb. 2019 15:18

Vi har nå begynt med IN1150-kaféer i Escape! Dette er et faglig-sosialt tilbud som vi har god erfaring med fra tidligere semestre. Hver fredag fra kl. 15.15 kan man komme innom, møte andre studenter, løse oppgaver, drikke kaffe, spille spill – og snakke med gruppelærere, rettere og fagansvarlig. Escape går med på å holde åpent for oss også fra kl. 16 og utover. Velkommen!

19. feb. 2019 15:17

Første ordinære fellestime er i morgen, fredag 1. februar, i Simula i Ole-Johan Dahls hus. Velkommen!

Det blir praktisk informasjon om vårens opplegg, og vi går gjennom kapittel 0 i læreboken.

Siden med innleveringer er nå også oppdatert. Ta en titt! Første innleveringsfrist er fredag 8. februar kl. 17:59. Du vil snart se oppgavene på plass i Devilry.

31. jan. 2019 20:20

Velkommen til IN1150 - Logiske metoder ved Institutt for informatikk, for våren 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. 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 inf...

3. jan. 2019 21:05