CS 2800 — Logic and Computation

4 semester hoursUndergraduateLectureusually offered: fall, springtypical days: M/W/ThBostonTraditional

Introduces formal logic and its connections to computer and information science. Offers an opportunity to learn to translate statements about the behavior of computer programs into logical claims and to gain the ability to prove such assertions both by hand and using automated tools. Considers approaches to proving termination, correctness, and safety for programs. Discusses notations used in logic, propositional and first order logic, logical inference, mathematical induction, and structural induction. Introduces the use of logic for modeling the range of artifacts and phenomena that arise in computer and information science.

Prerequisites

Offering history

TermSectionsEnrolledCapacityFullOpen seats/section
Fall 2023413619570%14.8
Spring 2024219721791%10.0
Fall 2024311416470%16.7
Spring 2025323725693%6.3
Fall 2025211912794%4.0
Spring 2026211711998%1.0

Snapshots from scheduled scrapes — not live seat availability. "Full" can exceed 100% when sections over-enroll.

Meeting times

Share of recent sections by weekday: M 100% · T 0% · W 100% · Th 100% · F 0%

Common patterns: MWR (100% of sections) — in patterns, R means Thursday

Professors

Fall

Spring

Percentages are each professor's average share of the season's enrolled students in recent terms.

Unlocks

CS 4820

Courses that list CS 2800 in their prerequisites.

Links

Official catalog (CS course descriptions) · Student reviews on RateMyHusky · All CS courses · Plan it at numap.app