Oppdatering og f?rsteordens logikk
Vi er offisielt akkurat over halvveis i pensum, med tolv kapitler bak oss! Denne uken har det v?rt f?rsteordens spr?k og syntaks som har v?rt 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. Disse fire kapitlene henger sv?rt n?ye sammen:
- 13: F?rsteordens spr?k
- 14: Representasjon av kvantifiserte utsagn
- 15: Tolkning i modeller
- 16: Resonnering om modeller
Tilbud om fysisk gruppetime
Vi vil forsiktig begynne med litt fysisk undervisning, og f?rst ut er gruppetimen mandag kl. 14.15 i seminarrom Java i Ole-Johan Dahls hus med Tobias O. Det er ?pent for alle til ? melde seg p?, og kapasiteten er satt til 20 studenter. Det er et krav om p?m?lding via Nettskjema p? forh?nd og at man overholder alle smittevernregler. For p?melding og oppdatert informasjon, se siden med oversikt over gruppeundervisning.
Oppdatert informasjon om gruppeundervisningen og andre undervisningstilbud
Den beste siden for ? f? en oversikt over gruppeundervisningen og andre undervisningstilbud, er alts? denne siden:
/studier/emner/matnat/ifi/IN1150/v21/gruppeundervisning/
Her ligger informasjon om hver gruppe, hvem som underviser hva, snublegrupper, grublegrupper (n?r det eventuelt holdes), obligverksted, eventuelle fysiske grupper, etc. Husk at alle grupper er ?pne for alle (du trenger alts? ikke ? f?lge timeplanen) og at alle relevante Zoom-lenker ligger p? denne siden. Passordet til alle rommene er sendt via e-post til alle.
Nettkurset
https://logiskemetoder.no/nettkurs/
Nettkurset oppdateres stadig! Dennes ukens oppdateringer er f?lgende:
- Muligheten for ? gi tilbakemelding p? videoer. Se ?verst til h?yre rett over videovinduet. Bruk denne for ? gi tilbakemelding p? hva som funker og ikke (eller bare gi videoen 1–5 stjerner).
- P? quiz-siden kan m? n? velge hvilke kapitler oppgavene skal velges fra.
- P? status-studen kan m? n? velge hvilke kapitler som skal v?re synlige.
- P? live-siden blir ikke videoene lastet inn f?r man klikker p? bildet til videoen. (Den siden begynte ? bli veldig langsom p? grunn av alle vidoene.)
(En liten kommentar som vi har nevt f?r: N?r man pauser videoer (og ved slutten av hver video), viser YouTube dessverre frem “relaterte videoer”. Vi har ikke funnet noen enkel m?te ? skru av dette p?, men videoene er i alle fall begrenset til Logiske metoder-kanalen.)
Dersom du har forslag til forbedringer eller det er funksjonalitet du savner, ikke n?l med ? sende en e-post til rantonse@ifi.uio.no.
Veien videre og oversikt over tilbud
Vi fortsetter som vanlig fremover, med gruppeundervisning, fellestimer og ekstratilbud. Fellestimene g?r som vanlig mandager kl. 10.15 og torsdager kl. 12.15, str?mmes via YouTube og alle fellestimene blir liggende p? live-siden til nettkurset. Her er for ordens skyld en oversikt over ressurser som du b?r kjenne til:
Emnesidene
/studier/emner/matnat/ifi/IN1150/v21/
Her finner du all informasjon om hva som skjer i kurset.
Gruppeundervisningen
/studier/emner/matnat/ifi/IN1150/v21/gruppeundervisning/
Alt om gruppeundervisningen og ekstratilbudene.
Innleveringsoppgaver
/studier/emner/matnat/ifi/IN1150/v21/innleveringer/
Lever oppgaver og f? individuell tilbakemelding.
Nettkurset
https://logiskemetoder.no/nettkurs/
Her finner du alle forelesningen, organisert i samsvar med boken.
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.
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.
Det er mye ? bruke og 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 og god helg!
--
Med vennlig hilsen oss som underviser IN1150