Students should be comfortable with proofs and proof techniques used in pure mathematics. This course covers modern topics in the theory of algorithms. The topics selected can differ year to year. A ...

The design, implementation, and analysis of abstract data types, data structures and their algorithms. Topics include: data and procedural abstraction, amortized data structures, trees and search ...