Catalog Description

Introduces notion of proof, induction, sets, relations and functions, basic combinatorial analysis, graphs, trees, and basic probability.