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