Students must enroll in a laboratory section....................Introduces formal techniques to support the design andanalysis of algorithms, focusing on both the underlyingmathematical theory and practical considerations ofefficiency. Topics include asymptotic complexitybounds, techniques of analysis, algorithmic strategies,and an introduction to automata theory and its applicationto language translation. Prerequisites: COSC 2030,COSC 2150 and 2300.