unit -*- Outline -*- * introduction motivation for the course * overview * posets-lattices-categories * higher-order-logic * functions * states-and-state-transformers * truth-values * predicates-and-sets * boolean-expressions-and-conditionals * relations * types-and-data-structures * predicate-transformers * the-refinement-calculus-hierarchy * statements * statements-as-games * choice-statements * subclasses-of-statements * well-founded-sets-and-ordinals * fixed-points * recursion * iteration-and-loops * continuity-and-executable-statements * working-with-arrays * the-n-queens-problem * loops-and-two-person-games * statement-subclasses-and-normal-forms * summary-review summary of course, course evaluations