Unit: School of Engineering and Applied Science
Department: Department of Computer Science
Office location and address
85 Engineers WayCharlottesville, Virginia 22903
Introduces discrete mathematics and proof techniques involving first order predicate logic and induction. Application areas include finite and infinite sets, elementary combinatorial problems, and graph theory. Development of tools and mechanisms for reasoning about discrete problems. Prerequisite: CS 1110, 1111, 1112 or 1120 with a grade of C- or higher.