Computer Science 513 - Logic in Computer Science

Fall
2013
01
3.00
Neil Immerman

TU TH 1:00PM 2:15PM

UMass Amherst
38328
38331,40366
Introduction to mathematical logic: propositional logic, first-order logic, completemess, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.
CMPSCI 250 and CMPSCI 311 with a grade of 'C' or better. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/ugrad-education/courses .
MEETS WITH CMPSCI 690LG.
Permission is required for interchange registration during the add/drop period only.