3 credit hours(Same as CSCI 3080.) Prerequisites: CSCI 1160 or CSCI 1170 and MATH 1920 or consent of instructor. Topics include formal logic, proof techniques, matrices, graphs, formal grammars, finite state machines, Turing machines, and binary coding schemes.