Applications of discrete mathematics to computer science and introduction to the theory of computation. Topics include automata and formal languages, computability by Turing machines and recursive functions, undecidability and computational complexity. Prerequisite: C or better in COSC 120 and MATH 210. Four hours per week. Enrollment Requirements: Prerequisites: COSC 120 and MATH 210 with grades of C or better.