Mer digital undervisning og veien videre

Kjære IN1150-student,

Vi legger om til mer digital undervisning

https://www.uio.no/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: https://www.uio.no/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:
https://www.uio.no/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
https://www.uio.no/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
https://www.uio.no/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
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v20/tidligere-eksamener/
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
https://www.uio.no/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
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v20/gruppeundervisning/
Det beste med hele kurset. Gå gjerne på flere grupper.

Snublegrupper
https://www.uio.no/studier/emner/matnat/ifi/IN1150/v20/snublegrupper/
For deg som er litt overstimulert.

Grublegrupper
https://www.uio.no/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!

Publisert 11. mars 2020 21:34 - Sist endret 24. apr. 2020 14:44