Førsteordens logikk

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

Endring av gruppe 1/4 og 5

https://www.uio.no/studier/emner/matnat/ifi/IN1150/v23/timeplan/

Vi kommer til å endre gruppene 1/4 og 5 noe, så følg med på timeplanen før du går til gruppene 1/4 og 5.

Lykke til videre!

--
Med vennlig hilsen vi som underviser IN1150