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.