Computer Science 513 - Logic in Computer Science
Spring
2026
02
3.00
Marius Minea
TU TH 11:30AM 12:45PM
UMass Amherst
84756
Lederle Grad Res Ctr rm A301
marius@cs.umass.edu
84755,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.
MS-CMPSCI students only 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.