Linear Molecules: CarbonCovers the properties of linear molecules in carbon and discusses neutral elements, associative law, and conjugate elements.
Operations in ZCovers addition properties and operations in the set of integers Z.
Recap of Group TheoryProvides a recap of group theory, defining a group as a set with a multiplication operation.
Reasoning about listsCovers laws of list concatenation, proof by induction, referential transparency, and structural induction.
Q is a FieldCovers the properties of rational numbers and introduces the concept of an ordered field in Q.