Computer Science 513 - Logic in Computer Science

Fall
2019
01
3.00
Neil Immerman
M W 9:05AM 10:20AM
UMass Amherst
34314
Computer Science Bldg rm 142
immerman@cs.umass.edu
34315,34317
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 junior and senior Computer Science students who have completed COMPSCI 250 and 311 with a grade of C or better in each. MEETS WITH COMPSCI 613. 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.