Computer Science 513 - Logic in Computer Science

Fall
2017
01
3.00
Neil Immerman
M W 9:05AM 10:20AM
UMass Amherst
40821
40822,40823
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 undergraduate Computer Science majors who have completed COMPSCI 250 & 311 with a grade of C or better. MEETS WITH COMPSCI 690LG. LECT 01=UG; LECT 02=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/overrides.
Permission is required for interchange registration during all registration periods.