Techniques to prove the correctness and measure the efficiency of algorithms.
This course may not be repeated for credit.
Notes
- This course is intended for students who have completed Computer Science 319, instead of Computer Science 331, who wish to be qualified for senior courses in theoretical computer science.
Prerequisite(s)
- Computer Science 313 and 319.
Sections
This course will be offered next in
Winter 2016.