Update to Section 5.4 of the Graduate Student Handbook (June, 2016) 5.4 The Analytic Requirement evaluates the analytic ability, and knowledge of formal models, relevant to computer science. It consists of two groups of analytic areas: Group A: Theory, Group B: Systems and Applications, and Group A/B: Logic. The Logic area will meet either the Group A or B Requirement.
Students may fulfill the Analytic Requirement by demonstrating depth in understanding of the required areas, including ONE of the areas of type A, and TWO of the areas of type B. The Analytic Areas, and the related courses on which they are based, are listed below. Note that some courses may not be offered every year.
To pass the Analytic Requirements, students must pass each area is defined by a pair of courses. The pairs and areas are: