MAC 5035 Algorithms and Programming

This course offers a survey of some of the most important algorithms in computer science, covering linear data structures, sorting, graphs, trees, search structures, string searches, and compression. For each algorithm, we examine the formal proofs of its correctness and runtime properties. Assignments cover both analysis of the algorithms and programming applications that use them.