Login to filter by course Login to filter by course Reset
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.
Q is a FieldCovers the properties of rational numbers and introduces the concept of an ordered field in Q.
Number Theory: Operations and EquivalenceCovers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.
InfimumExplains the concept of infimum in real numbers and its properties.
Reasoning about listsCovers laws of list concatenation, proof by induction, referential transparency, and structural induction.