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
/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
/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