Forelesning tirsdag 20. februar!

Det blir forelesning b?de tirsdag 20. februar (likhetslogikk) og fredag 23. februar (dynamiske systemer). Uken etter (27.2 - 1.3) blir det oppgavegjennomgang b?de tirsdag (terminering og litt konfluens) og fredag (konfluens og litt likhetslogikk). Uken etter det er det oppgaver p? tirsdag (konfluens og dynamiske systemer) og forelesning p? fredag (objekt-orientert modellering av dynamiske systemer) som vanlig.