Mer digital undervisning og veien videre
Kj?re IN1150-student,
Vi legger om til mer digital undervisning
/studier/emner/matnat/ifi/IN1150/v20/timeplan/
UiO har i dag kommet med nye retningslinjer ang?ende undervisning, og bakgrunnen er et ?nske om ? hindre spredning av koronavirus. For informasjon om dette, se her: /om/hms/koronavirus/index.html
Den eneste konsekvensen for IN1150, inntil videre, er at fellestimene p? onsdager og fredager er avlyst, og at det blir et st?rre fokus p? digital undervisning. Vi har god erfaring med ? undervise IN1150 som nettkurs, s? dere kan regne med at opplegget fremover er godt. Gruppeundervisningen og [sn|gr]ublegruppene g?r som normalt dersom ingenting annet st?r i timeplanen. Cafétilbudet i Escape, som egentlig skulle flyttes til torsdager, fra og med 12. mars, er dessverre ogs? avlyst inntil videre.
For oppdatert informasjon, sjekk alltid kurssidene:
/studier/emner/matnat/ifi/IN1150/v20/
Faglig progresjon
Vi har n? begynt p? en ny bolk med fire kapitler som henger n?ye sammen:
- 13: F?rsteordens spr?k
- 14: Representasjon av kvantifiserte utsagn
- 15: Tolkning i modeller
- 16: Resonnering om modeller
Denne uken er det f?rsteordens spr?k og syntaks som er i fokus, med signaturer, termer, formler og hvordan vi kan representere kvantifiserte utsagn. Neste uke blir det semantikk og tolkning av f?rsteordens termer og formler.
Oversikt over digitale faglig tilbud
Her er for ordens skyld en oversikt over ulike digitale faglige tilbud:
Emnesidene
/studier/emner/matnat/ifi/IN1150/v20/
Her finner du all informasjon om hva som skjer i kurset.
Nettkurset
https://logiskemetoder.no/nettkurs/
Her finner du alle forelesningen, organisert i samsvar med boken.
Innleveringsoppgaver
/studier/emner/matnat/ifi/IN1150/v20/innleveringer/
Lever oppgaver og f? individuell tilbakemelding.
Mattermost
https://mattermost.uio.no/ifi-in1150/
Her kan du sp?rre og f? svar.
YouTube-kanalen
https://www.youtube.com/c/Logiskemetoder
Her ligger opptak av forelesninger og fellestimer.
I tillegg kan f?lgende v?re nyttig og/eller underholdende:
Tidligere eksamener
/studier/emner/matnat/ifi/IN1150/tidligere-eksamensoppgaver
Test deg selv med en tidligere eksamen.
Retteliste til Logiske metoder
https://logiskemetoder.no/#retteliste
Ja, den er lang, men terskelen for ? komme p? listen er lav.
Ukens spill
/studier/emner/matnat/ifi/IN1150/v20/spill/
I dag snakket vi litt om Sokoban og Baba is You.
Oversikt over faglige tilbud p? campus
Her er en oversikt over ulike faglige tilbud p? campus:
Gruppeundervisningen
/studier/emner/matnat/ifi/IN1150/v20/gruppeundervisning/
Det beste med hele kurset. G? gjerne p? flere grupper.
Snublegrupper
/studier/emner/matnat/ifi/IN1150/v20/snublegrupper/
For deg som er litt overstimulert.
Grublegrupper
/studier/emner/matnat/ifi/IN1150/v20/grublegrupper/
For deg som er litt understimulert.
Det er mye ? velge mellom, men det er et tilbud for at du skal kunne finne en m?te ? l?re p? som passer for deg.
Lykke til videre!