Princeton University
Computer Science Department

Computer Science 340
Reasoning about Computation

Ran Raz

Spring 2021

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.

Course Content

We will cover basic topics in math that are important in computer science as well as basic topics in theoretical computer science. The following is a rough estimation of the number of lectures spent on each topic: Mathematical Proofs (1.5 lectures); Combinatorics (2 lectures); Probability Theory (6 lectures); Midterm Exam (replacing 1 lecture); Graph Theory (4 lectures); Game Theory (1.5 lectures); Countable vs Uncountable Sets (1 lecture); Theoretical Computer Science (Computability, Complexity, Cryptography) (7 lectures).

Administrative Information


MW 3:00PM-4:20PM


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 Preceptor
1 Th 12:30PM-1:20PM Iasonas Petras
2 Th 2:30PM-3:20AM Iasonas Petras
3 F 10:00AM-10:50PM Dmitry Paramonov
4 F 1:30PM-2:20PM Corwin W. Sinnamon
4a F 1:30PM-2:20PM Kunal Mittal
5 F 2:30PM-3:20PM Runze Liu

Lead Instructor

Ran Raz, Ph.D. : 240 194 Nassau St, email: ranr (at)

Faculty Lead Preceptor

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

Online Office Hours: M from 11:00AM to 2:00PM and Th from 11:00AM to noon


Runze Liu : email: runzel (at)

Online Office Hours: T from 11:00AM to 1:00PM

Kunal Mittal : email: kmittal (at)

Online Office Hours: T from 4:30PM to 6:30PM

Dmitry Paramonov : email: dp20 (at)

Online Office Hours: F from 11:00AM to 1:00PM

Corwin W. Sinnamon : email: sinnamon (at)

Online Office Hours: W from 1:00PM to 3:00PM

Precepts start on Thursday 2/4

Preceptors' online office hours start on Monday 2/8

Undergraduate Graders

Charles An

Joe Bartusek

Jeremy Chizewer

Richard Huang

Alek Kawczynski

Ethan Li

Srija Makkapati

Doruntina Sylejmani

John P. Wall Jr.

Helena Yu

Lab Teaching Assistants

Nicholas Allen

Rohan Jasani

Alicia Liu

Taishi Nakase

Adam Rebei

Jayson Wu

Chris Yang

Jason Yuan

Undergraduate Coordinator

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


COS 126 and 226 (or sufficient mathematical background), and MAT 175 or MAT 202 or MAT 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.