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:
/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
/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
/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
/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
/studier/emner/matnat/ifi/IN1150/v23/innleveringer/
/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
/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
/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.