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