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.