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!