Beskjeder
Kjære IN1150-student,
Vi håper at du hadde en god og smidig eksamensopplevelse i Silurveien i går og at eksamen gikk bra.
På siden med tidligere eksamensoppgaver ligger nå eksamen i PDF-format sammen med et foreløpig løsningsforslag. Det vil komme en mer fyldig versjon med sensorveiledning etter at sensuren er gjennomført.
- Foreløpig løsningsforslag: https://www-int.uio.no/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver/eksamen_in1150_2023v_bokmaal_losn_temp.pdf
Sensuren ferdigstilles i løpet av j...
Kjære IN1150-student,
Tusen takk for følget dette semesteret. Vi håper at dere har lært masse i løpet av denne våren. Det har vært vårt privilegium å være fagansvarlige for dere, og det var svært hyggelig å se mange av dere på avslutningsfesten.
Eksamen 12. juni kl. 15.00
På mandag er det eksamen! Alle bør lese det som står her på forhånd:
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/eksamen/
Det blir en trøste- og oppklaringsrunde i Silurveien ca. kl. 16.00. Formålet med denne er å svare på faglige spørsmål om oppgaveteksten og avdekke eventuelle feil og uklarheter i oppgavene (altså ikke å få hjelp til å løse dem).
Noen tips
På avslutningsfesten ba vi alle som underviser i kurset om å komme med noen tips, både faglige og eksamensrelaterte, og her er noe av det som ble sagt....
Kjære IN1150-student.
Det er nå litt under to uker igjen til eksamen, som er mandag 12. juni kl. 15.00. Husk at trekkfristen er i dag, 30. mai, dersom du mot formodning ikke ønsker å ta eksamen.
Det er ingen flere fellestimer eller gruppetimer i kurset, men som et ekstratilbud tilbyr vi fire tidspunkter hvor du kan møte opp og få faglig hjelp av gruppelærere. Det blir ingen tavleundervisning eller repetisjon her, men du kan få spørsmål på det du lurer på.
| Dato | Tid | Hvor | Hvem |
|---|---|---|---|
| Onsdag 31. mai | 12:15–14:00 | Java | Kristin og Miriam |
| Torsdag 1. juni | 12:15–14:00 | Pascal (ikke Prolog) | Dawid og ... |
Kjære IN1150-student.
Det er nå litt under fire uker igjen til eksamen, som er mandag 12. juni kl. 15.00. (Husk at trekkfristen er 30. mai.) Det er dermed tid for repetisjon, og her kommer litt informasjon om tilbudet fremover. Vi oppfordrer alle til å være med på så mye som mulig og det man tror man vil få best utbytte av.
| Hva | Dato | Tid | Hvor | Hvem |
|---|---|---|---|---|
| Siste fellestime med repetisjon | Fredag 19. mai | 10:15-12:00 | Simula | Roger |
| Grafteori, formelle språk (21–23)... |
Kjære IN1150-student.
I går hadde vi semesterets siste ordinære fellestime. Vi har dermed sagt det vi ønsker å si om denne vakre, lille, merkelige og abstrakte verdenen som er logiske metoder. I den neste måneden, frem til eksamen 12. juni kl. 15.00, skal vi la alt dette få synke inn.
Fellestimer
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/timeplan/index.html#FOR
Vi har nå oppdatert timeplanen for forelesningene. Det blir repetisjonstimer de to neste fredagstimene. Vel møtt!
Discourse
https://in1150-discourse.uio.no
Selv om det i all hovedsak er ditt ansvar å sørge for å oppnå en forståelse som svarer til ditt ambisjonsnivå, hjelper vi deg gjerne på veien. Det er fremdeles mulig å sende inn spørsmål...
Kjære IN1150-student,
Vi har skjønt at noen har opplevd tekniske problemer med Devilry i dag. Det virker som at dette var et midlertidig problem og at alt fungerer som det skal igjen nå.
Vi har oversikt over hvem som har forsøkt å levere og blitt utsatt for feilen, og vil åpne for at dere kan levere i løpet av fredagen.
Ta kontakt med oss på in1150-ansvarlige@ifi.uio.no dersom det skulle være noe.
Beklager dersom det har forårsaket irritasjon, bry eller stress.
--
Med vennlig hilsen oss som underviser IN1150
Kjære IN1150-student,
Nå er vi gjennom to av tre bolker, og dere er sikkert klare for en god påskeferie. Vi håper alle får anledning til å ta en pust i bakken før vi skal begi oss på siste bolk av kurset.
Det er ikke planlagt noe undervisningsopplegg onsdag 12. april, så neste fellestime er fredag 15. april. Da skal vi begi oss ut på kapittel 17 og 18, som handler om abstraksjon med ekvivalenser og partisjoner og kombinatorikk.
Noen etterspurte koden som ble skrevet i dag under fellestimen. Det ligger her: https://gist.github.uio.no/larstvei/57d2a9092cf06565ac3544b6b003a043.
Med det ønsker vi dere en god påske og pauseuke!
--
Med vennlig hilsen vi som underviser IN1150
Kjære IN1150-student,
Vi er nå omtrent halvveis i kurset, og vi har nå begynt på kapitlene om førsteordens logikk, som kommer til å vare i to uker.
Innleveringsoppgavene er oppdatert
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
Vi har nå oppdatert innlevering 7 og 8, og det bør nå være en god del mindre å gjøre på disse. Hvis du tidligere har gjort oppgaver som har blitt tatt ut, og som du vil ha tilbakemelding på, ta kontakt med en gruppelærer. Vi skal også forkorte innleveringsoppgavene 9–12, og når dette skjer vil det bli markert i siden for innleveringer.
Vi har også laget nye maler for innleveringsoppgavene. De ligger her: https://www.overleaf.com/read/pzqmxqwkbbtn
...Denne beskjeden ble opprinnelig sendt på epost 2023-03-06.
Kjære IN1150-student,
Velkommen til den syvende uken i IN1150, hvor temaet for uken er tillukninger, induktivt definerte mengder og rekursivt definerte funksjoner. På fredag skal vi se hvordan en mengde definert ved induksjon gir opphav til en metode som lar oss bevise egenskaper på en enklere måte.
Bruk gruppeundervisningen
Vi er nå på et punkt i kurset hvor vi kan bruke det vi har lært fra kapittel 1–8 til å utforske mer spennende temaer. Å tenke på ting man ikke har tenkt på før gjøres ofte best i samvær med andre, og det er det gruppeundervisningen er til for. Dra på gruppetimer (gjerne flere), og delta i en faglig dialog med dine medstudenter og gruppelærerne, og utforsk denne lille abstrakte verden vi bygger i felleskap! Se her for en oversikt over gruppetimene:
...
Kjære IN1150-student,
Nå er vi ferdig med første bolk. Neste uke er tiden for å hente seg inn dersom det er temaer du ikke føler sitter så godt som det skal. På fredag om en uke introduserer vi tillukninger, induktivt definerte mengder og rekursive funksjoner.
Repetisjonsuke
Denne uken er fokuset på å bearbeide stoffet vi har gått gjennom til nå. Gruppetimene neste uke deles opp etter tema; det er en fin anledning til å gå på mange gruppetimer og tette alle eventuelle hull i forståelsen før vi går i gang med kapittel ni og ti!
| Tema | Tid | Rom | Gruppelærer |
|---|---|---|---|
| Bevis | Mandag klokken 14:15 | Seminarrom C | Asbjørn |
Kjære IN1150-student.
Vi er med dette inne i den fjerde uken av IN1150.
Temaet for denne uken og veien videre
Denne uken handler det om funksjoner (kapittel 7) og mer mengdelære (kapittel 8).
Onsdag 22. februar kl. 14.15 er det fellestime i Simula med repetisjon, regning av oppgaver samt spørsmål og svar. Dersom du har et ønske om spesielle temaer eller oppgaver, send en e-post til in1150-ansvarlige@ifi.uio.no innen tirsdag.
Fredag 24. februar kl. 10.15 blir det ingen fellestime.
Onsdag 1. mars. kl. 14.15 blir det en repetisjonsfellestime i regi av gruppelærerne. Dersom du har et ønske om noe til denne fellestimen, send en e-post til in1150-ansvarlige@ifi.ui...
Kjære IN1150-student,
Denne uken handler det om bevismetoder (kapittel 5) og relasjoner (kapittel 6).
Gruppeundervisningen
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/gruppeundervisning/
Vi har laget en side for gruppeundervisningen. Den inneholder en kort presentasjon av hver gruppelærer, en oversikt over når og hvor de holder gruppetime, samt eventuelle ressurser de ønsker å dele fra timene sine.
Dere kan gå på hvilke gruppetimer dere vil, og gjerne flere. Vi oppfordrer dere til å bruke dette tilbudet!
IN1150-café
Fra og med onsdag 15. februar blir det IN1150-café i Escape kl. 16.00.
Her vil dere møte flere av oss som underviser IN1150 på en litt mer uformell måte. Det kan være et fint sted å jobbe med oppgaver, et sted å ha faglige samtale...
Kjære IN1150-student,
Denne uken avslutter vi delen om utsagnslogikk. Vi har nå gått gjennom semantikk for utsagnslogikk (kapittel 3) og utsagnslogiske begreper (kapittel 4), og i morgen begynner vi med bevismetoder (kapittel 5) og relasjoner (kapittel 6). Her er en kort oppdatering med noen kommentarer og påminnelser.
Andre innleveringsoppgave
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/innlevering-02.pdf
Husk at fristen for å levere den andre innleveringsoppgaven er i dag torsdag 9. februar kl. 23.59. PS! Dersom du ønske...
Kjære IN1150-student,
Kurset er nå godt i gang! Denne uken har vi begynt med mengdelære (kapittel 1) og utsagnslogikk (kapittel 2), og gruppeundervisningen begynner på mandag. Her kommer en liten oppdatering og noen påminnelser.
Innleveringsoppgaver
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
På siden med innleveringsoppgaver finner du, i tillegg til selve innleveringsoppgavene og informasjon om opplegget, også en oversikt over fristene.
For å komme i gang med LaTeX har vi laget en høyst frivillig Innlevering 0 som ikke består av annet å levere en PDF-fil med et bestemt innhold. Denne innleveringsoppgaven ligger her og har frist onsdag 1. februar 2023, kl. 23.59:
- ...
Kjære IN1150-student,
Velkommen til IN1150 – Logiske metoder ved Institutt for informatikk for våren 2023. Her kommer en del nødvendig informasjon om kurset du tar dette semesteret. Denne beskjeden inneholder mye viktig, nyttig og praktisk informasjon, så les den nøye.
Semestersiden
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/
Alle viktige beskjeder blir lagt ut på semestersiden, så sjekk den regelmessig. Dette er strengt tatt den eneste siden du trenger å sjekke for å være oppdatert om hva som skjer i kurset.
Timeplan, fellestimer og gruppeundervisning
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/timeplan/
...