Computer Science 113 - Programming, problem solving, and proofs
Programming & Proofs
Fall
2026
01
4.00
Kristy Gardner
M/W | 10:05 AM - 10:55 AM
Amherst College
COSC-113-01-2627F
kgardner@amherst.edu
This second computer science course will provide an introduction to the mathematical techniques used in computer science, with an emphasis on formal reasoning and their applications to programming. Students will engage with definitions, proofs and programs and will develop an understanding of the relationships between them. Topics may include sets and relations, proof techniques, combinatorics, probability, and logic. The course builds the mathematical foundation for advanced study in computer science while strengthening students’ programming skills. A laboratory section will meet once a week to give students practice with programming constructs.
Requisite: COSC 111 or consent of the instructor. Students taking 113 may not have taken COSC-211 nor MATH-220. Limited to 40 students with 10 spaces reserved for first-year students in the fall.
Fall Semester: Professors Gardner and Wu. Spring Semester: Professor Wu.
How to handle overenrollment: Priority given to majors
Students who enroll in this course will likely encounter and be expected to engage in the following intellectual skills, modes of learning, and assessment: Quantitative work.