Identity and ChangeExplores how assignments affect the equivalence between expressions in programming.
Reasoning about listsCovers laws of list concatenation, proof by induction, referential transparency, and structural induction.
C++: Loops and IncrementationCovers C++ loops, incrementation, and variable scope, with examples of evaluating expressions and reading input from the keyboard.