Siste uke: Formelle språk, grammatikker og naturlig deduksjon

Dette er den siste uken med nytt stoff! Forrige uke tok vi for oss grafteori med kapittel 21 og 22, og denne uken er det kapittel 23 (formelle språk og grammatikker) og kapittel 24 (naturlig deduksjon) som står for tur. På tirsdag repeterer vi det viktigste i de to kapitlene, og på fredag blir det oppgaveregning med spørsmål og svar. Dersom 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. PS. Tirsdag 7. mai blir det repetisjon av hele pensum, og fredag 10. mai blir det en avslutningsfest med pizza, premier, miniforedrag og annen moro.