This course covers time and space complexity of algorithms. Survey of various design techniques such as “divide and conquer” and the “greedy” method is covered. Program verification and validation as well as NPComplete and NPHard problems are discussed. Fall. Credit, 3 semester hours. PREREQ: CSC 2850, and MAT 2220.