Description
This course is an introduction to the rigorous use of logic and proof techniques. Topics may include set theory, functions and relations, algorithms, graphs and graph theory, combinatorics, probability, logic circuits, or number theory. Prerequisite: MATH 105/MATH 120 or by departmental consent