Oppdatering og f?rsteordens logikk_澳门皇冠体育,皇冠足球比分

rantonse
2021-03-05T14:16:03.254Z
type:structured-message
www.uio.no

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 vi...