Halvveis i kurset!

Vi er n? halvveis i kurset, og denne uken begynner vi p? en ny bolk med fire kapitler som henger n?ye sammen: kapittel 13 (f?rsteordens spr?k), kapittel 14 (representasjon av kvantifiserte utsagn), kapittel 15 (tolkning i modeller) og kapittel 16 (resonnering om modeller). P? tirsdag blir det som vanlig repetisjon av to kapitler (kom forberedt!), og p? fredag blir det oppgaveregning med sp?rsm?l og svar. Hvis noen har noen ?nsker til oppgaver, eller annet som vi b?r gjennomg? n?rmere, si ifra via Slack eller via e-post til rantonse@ifi.uio.no. Vi sees!