Mandagsfrokost 16. september

Mandagens frokosttema blir å lage utsagnslogiske formler fra sannhetsverditabeller. Deretter har vi et LaTeX- og oppgaveregningverksted. Det er fint om de som planlegger å komme melder seg på, men påmelding er ikke obligatorisk. https://nettskjema.no/a/56312.html

Vi minner også om at det ikke er forelesning mandag 16. september.