Grafteori, formelle spr?k og naturlig deduksjon
(Denne beskjeden ble ogs? sendt p? e-post tidligere i uken.)
Tiden er inne for jobbe med de siste fire kapitlene i boken. Temaet for denne uken er grafteori (kapittel 21 og 22) og neste uke blir det formelle spr?k (kapittel 23) og naturlig deduksjon (kapittel 24).
Her er en kjapp oppsummering av hva som denne uken:
- Grublegruppe om grafteori: torsdag kl. 10.15–12.00, med Tobias O.
Vi ?nsker alle velkomne til ? h?re litt mer om grafteori. Tobias O. vil snakke litt om anvendelser, s?king i grafer og mye annet spennende som g?r litt utover pensum. Alle er velkomne!
- Fellestime: torsdag kl. 12.15–14.00
https://logiskemetoder.no/nettkurs/live
Vi snakker om grafteori. Som vanlig blir dette sendt via YouTube og alle kan stille sp?rsm?l via menti.com underveis. Det er ogs? mulig ? ha en dialog med fagl?rer og andre studenter via Zoom.
- Obligverksted: fredag kl. 10.15–12.00, med Mikael
- Snublegruppe: fredag 12.15–14.00, med Tobias O. og Mikael
- Zoom-café: fredag kl. 16.15
Vi avslutter uken med en uformell Zoom-prat.
Som vanlig ligger oppdatert informasjon om undervisningstilbudet her: /studier/emner/matnat/ifi/IN1150/v21/gruppeundervisning/
Lykke til videre i kurset!
--
Med vennlig hilsen oss som underviser IN1150