Computer Science 513 - Logic in Computer Science
Fall
2021
01
3.00
Neil Immerman
M W 9:05AM 10:20AM
UMass Amherst
22178
Computer Science Bldg rm 142
immerman@cs.umass.edu
22179,22186
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.