This course focuses on discrete structures and techniques
which have direct applications in computer science. Topics
include the use of monoids, groups, finite automata and Turing
machines in understanding and implementing simulations, circuitry,
and the encoding and decoding of information.
Prerequisites: CSC 110 and MAT 200 or departmental approval