Computer Science 513 - Logic in Computer Science
Fall
2023
01
3.00
Marius Minea
TU TH 8:30AM 9:45AM
UMass Amherst
83785
Engineering Laboratory rm 303
marius@cs.umass.edu
83786,83872
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 FOR UNDERGRADS; LECT 02 FOR 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.