Detailed exploration of the mathematical techniques used for the design and analysis of computer algorithms. Topics include: the study of computer algorithms for numeric and non-numeric problems, analysis of time and space requirements of algorithms, correctness of algorithms and NP-completeness.