Computer Science 513 - Logic in Computer Science

Fall
2015
01
3.00
Neil Immerman
TU TH 11:30AM 12:45PM
UMass Amherst
38865
38866,38867
Introduction to mathematical logic: propositional logic, first-order logic, completemess, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.
Open to undergraduate students. UG CMPSCI 250 & 311 w/ C MEETS WITH CMPSCI 690LG. LECT 01=UG; LECT 02=GRADS. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/ugrad-education/courses.
Permission is required for interchange registration during all registration periods.
Link to Campus Courses
Back to the Five College Course Schedule