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