Semesterside for IN1150 - Vår 2019

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