COS 240: Reasoning about Computation

Princeton University · Fall 2026
Lecture Times: M W, 9:00 am - 10:20 am

Summary

∴ ∀ ⊢

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:

Faculty Teaching Staff

Prof. Zeev Dvir
Faculty Instructor
🌎 : Website
📧 : zdvir (at) cs (dot) princeton (dot) edu
Dr. Iasonas Petras
Faculty Instructor
🌎 : Website
📧 : ipetras (at) cs (dot) princeton (dot) edu

Graduate TAs

Clover Zheng
Graduate TA
🌎 : Website
📧 : sz6116 (at) princeton (dot) edu

Precepts

P01
Time: Th 12:15pm - 1:05pm
Instructor: Iasonas Petras
Location is found in the course's registrar page .
P03
Time: Th 1:20pm - 2:10pm
Instructor: Iasonas Petras
Location is found in the course's registrar page .
P04
Time: F 9:35am - 10:25am
Instructor: Clover Zheng
Location is found in the course's registrar page .

Undergraduate Lab TAs

TBA
TBA
TBA
TBA

Undergraduate Graders

TBA
TBA
TBA
TBA

Undergraduate Program Manager

Please direct questions concerning enrollment or 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 Faculty and Graduate TAs do not manage enrollment or precept assignments.

Colleen Kenny-McGinley
Undergraduate Program Manager
🌎 : Website
📧 : ckenny (at) cs (dot) princeton (dot) edu