Students in the program take a common core of courses in logic, methodology, and computer science, together with two associated seminars in their senior year. The individual focus is achieved by selecting a sequence of four advanced and closely related courses. A number of sample curricula are presented below.
Students have to complete the prerequisites before their junior year.
However, with suitable planning and advice from the program director, it is possible to complete the program in two years, beginning in the junior year. The resulting education in logic, analytic philosophy, mathematics, statistics, and computer science enables students to pursue professional careers or graduate study. The analytic and communication skills developed in the major support a wide range of career choices, including those among the fields of technology, business, and law. Fields of graduate study for which students are well prepared include, for example, computer science, cognitive science, philosophy, logic, and linguistics. Curriculum Logic and Computation is a B.S. degree.