Prerequisites: MATH 009A or MATH 09HA; CS 010 or MATH 009B or MATH 09HB
Description: Introduction to the basic concepts of finite and struc- tural mathematics with emphasis on applications to computer science. Topics include axiomatic systems, combinatorics, propositional and predicate calculi, graph theory, trees, state diagrams, networks, induc- tion, elementary enumeration, and recurrence rela- tions.