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