Logic in Computer Science

Semester: 
Fall
Year: 
2019
Subject Name: 
Computer Science
Course Number: 
513
Institution: 
UMass Amherst
Introduction to mathematical logic: propositional logic, first-order logic, completeness, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.
Comments: 
MS-CMPSCI students only MEETS WITH COMPSCI 690LG. LECT 01=UG; LECT 02=GRADS. SEATS SAVED IN LECT 02 FOR INCOMING GRAD STUDENT REGISTRATION. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cics.umass.edu/overrides.
Instructor Permission: 
Permission is required for interchange registration during the add/drop period only.
Crosslisted Section ID: 
34314,34317
Schedule #: 
34315

Course Sections

Logic in Computer Science
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
02 3.0 Neil Immerman immerman@cs.umass.edu M W 9:05AM 10:20AM Computer Science Bldg rm 142