Beskjeder
Sensuren klar. Vi vurderte totalt 278 kandidater og karakterfordelingen ble slik:
| A | B | C | D | E | F |
|---|---|---|---|---|---|
| 27 (10%) | 51 (19%) | 104 (39%) | 53 (20%) | 34 (13%) | 9 (3%) |
Gratulerer, og takk for et fint semester!
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 eksamener. Tusen takk for følget!
- Digital eksamen våren 2019
- Løsningsforslag til digital eksamen våren 2019 (med sensorveiledning)
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.
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!
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...
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.
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.
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.
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).
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!
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!
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!
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.
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:
- I tirsdagstimene har vi begynt med såkalte Bongard-problemer. Målet er å lage en oppgave for hvert kapittel. Vi legger det ut her etterpå:
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v19/bongard/ - I fredagstimene har vi begynt med å introdusere ukens spill, et brettspill (eller liknende) som er faglig relevant. Vi bruker også noen minutter på å forklare hvorfor og hvordan det er knyttet til faget og det vi lærer. Vi legger det ut her etterpå:
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v19/spill/
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!
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.
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...