Computer Science 513 - Logic in Computer Science

Spring
2026
01
3.00
Marius Minea

TU TH 11:30AM 12:45PM

UMass Amherst
84755
Lederle Grad Res Ctr rm A301
marius@cs.umass.edu
84756,84757
Introduction to mathematical logic: propositional logic, first-order logic, completeness, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.

Open to junior and senior Computer Science students who have completed COMPSCI 250 and 311 with a grade of C or better in each. MEETS WITH COMPSCI 613. LECT 01 FOR UNDERGRADS; LECT 02 FOR GRADS. SEATS SAVED IN LECT 02 FOR INCOMING STUDENT REGISTRATION. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/academics/course-overrides.

Permission is required for interchange registration during the add/drop period only.
Link to Campus Courses
Back to the Five College Course Schedule