Grafteori, formelle spr?k og naturlig deduksjon_篮球即时比分_nba比分直播-彩客网重点推荐

rantonse
2021-04-16T12:11:28.694Z
type:structured-message
www.uio.no

(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