This course will emphasize mathematical theory, formal methods of proof, and applied problem- solving techniques. Topics include formal proof, sets, logic, functions, probability, relations, graphs, trees, and Boolean algebra.