Computer Science 513 - Logic in Computer Science
Fall
2013
02
3.00
Neil Immerman
TU TH 1:00PM 2:15PM
UMass Amherst
40366
38328,38331
Introduction to mathematical logic: propositional logic, first-order logic, completemess, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.
MS-CMPSCI students only Reserved for MS-CMPSCI students only.
STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/ugrad-education/courses .
STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/ugrad-education/courses .