Computer Science 113L - Programming, problem solving, and proofs Lab
Programming & Proofs Lab
Fall
2026
01
2.00
F | 10:05 AM - 10:55 AM
Amherst College
COSC-113L-01-2627F
COSC113 Lab Section
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. 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: Preference given to first- and second-year students.
Students who enroll in this course will likely encounter and be expected to engage in the following intellectual skills, modes of learning, and assessment: Students who enroll in this course will likely encounter and be expected to engage in the following intellectual skills, modes of learning, and assessment: Please see COSC 113.