Lec. 3. Credit 3. Prerequisite: C or better in CSC 1610 or CSC 2700; and C or better in CSC 1310 or both CSC 2110 and CSC 2111. Application of discrete structures to model computational processes; techniques for analysis of algorithms; and automata and concepts of language theory. CSC 1310 or both of CSC 2110 and 2111 may be taken concurrently.