Restricted to honors computer science majors.

A focus on discrete mathematical tools of fundamental importance to the working computer scientist. An emphasis is placed on using logical notation to express rigorous mathematical arguments. Subjects include proof by induction, graph theory, number theory, combinatorics, recurrences, sets, functions, an introduction to program correctness, and discrete probability.

Only one of the following may be counted: Computer Science 311, 311H, 313H, 313K, 336, 336H.

Prerequisite: For computer science majors, the following coursework with a grade of at least C-: Mathematics 408C, 408K, or 408N, or registration for Mathematics 408C; for others, consent of instructor.

Undergraduate Program
Core - Theory