Princeton University
Computer Science Department

Computer Science 340
Reasoning about Computation

Mark Braverman

Fall 2019

General Information | Schedule | Policies


An introduction to mathematical topics relevant to computer science. Combinatorics, probability and graph theory will be covered in the context of computer science applications. The course will present a computer science approach to thinking and modeling. Students will be introduced to fundamental concepts in theoretical computer science, such as NP-completeness and cryptography that arise from the world view of efficient computation.

Administrative Information


MW 3:00PM-4:20PM, CS Building 104


Please direct questions concerning your precept assignment to Colleen Kenny-McGinley, the CS Department's Undergraduate Program Manager. Colleen's contact information is provided later on this page. The course's professor, lead preceptors, and graduate student preceptors do not manage precept assignments.

Number Meeting Time Meeting Place Preceptor
1 Th 12:30PM-1:20PM CS Building 105 Iasonas Petras
2 Th 2:30PM-3:20AM CS Building 105 Iasonas Petras
3 F 10:00AM-10:50PM Friend Center 112 Clayton H. Thomas
4 F 1:30PM-2:20PM Friend Center 112 Corwin W. Sinnamon
5 F 2:30PM-3:20PM Friend Center 112 Manik Dhar

Lead Instructor

Mark Braverman, Ph.D. : 194 Nassau St, office 231, email: mbraverm (at)

Office Hours: M 4:30PM, W 4:30PM in CS Building 404 or by appointment

Lead Preceptors

Iasonas Petras, Ph.D. : 033 Corwin Hall, email: ipetras (at)

Office Hours: M 12:30PM, M 1:30PM, Th 1:30PM and Th 3:30PM in 033 Corwin Hall


Manik Dhar : email: manikd (at)

Office Hours: Fr 9:30AM, Fr 10:30AM in Nassau 194, office 211

Clayton H. Thomas : email: claytont (at)

Office Hours: Tu 3:00PM, Tu 4:00PM in Nassau 194, office 245

Corwin W. Sinnamon : email: sinnamon (at)

Office Hours: W 1:00PM, W 2:00PM in Nassau 194, office 223

Precepts start on Thursday 9/19

Preceptors' office Hours start on Thursday 9/19

Undergraduate Graders

To be announced

Lab Teaching Assistants

To be announced

Undergraduate Coordinator

Colleen Kenny-McGinley : CS Building 210, email: ckenny (at)


COS 126 and 226 (or sufficient mathematical background), and MAT 175, 202, 204. COS 226 can be taken along with COS 340 in the same term.

Textbooks and Other Reading

Academic Regulations

Please study the course Policies webpage.