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-exprs-conditionals * relations * types-and-data-structures * predicate-transformers * refcalc-hierarchy * statements * statements-as-games * choice-statements * subclasses-of-statements * well-founded-sets-ordinals * fixed-points * recursion * iteration-and-loops * continuity-executable-stmts * working-with-arrays * the-n-queens-problem * loops-2-person-games * statement-subclasses-nfs * summary-review summary of course, course evaluations