CSC 231 Discrete Structures

Discrete structures useful in computer science. Topics will include logic and proof, recurrence relations, sets, graphs, and an introduction to the theory of formal languages and automata. (3 credit hours)