Første time: Invarianter og god programmeringsskikk.
I denne forelesningen skal vi se på hvordan en god programmerer resonerer om programmet sitt. Vi skal se på tilstander i programmet, tilstandsoverganger og grupper av tilstander som er beskrevet ved antagelser eller betingelser. En viktig gruppe slike antagelser kalles invarianter. Vi skal også se på noen eksamenstips i forbindelse med dette stoffet.
Forelesningsfoiler
Opptak fra forelesningen
Andre time: Inspera og prøveeksamen