MATH 2300: Discrete Computational Structures
(Cross-listed with COMS 2300).
Credits: 3. Contact Hours: Lecture 3, Discussion 1.
Prereq: Minimum of C- in COMS 2270 and MATH 1650; ENGL 1500
Concepts in discrete mathematics as applied to computer science. Logic, set theory, functions, relations, cardinality of sets, combinatorics and graph theory. Proof techniques, induction and recursion. State machines and invariants.
(Typically Offered: Fall, Spring, Summer)