Logic in Computer Science Semester: Fall Year: 2017 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: 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. Instructor Permission: Permission is required for interchange registration during all registration periods. Crosslisted Section ID: 40822,40823 Schedule #: 40821 Course Sections Year - Any -2018201720162015201420132012 Term - Any -FallSpring Subject Course Number Institution - Any -Amherst CollegeHampshire CollegeMount Holyoke CollegeSmith CollegeUMass Amherst Section Number Logic in Computer Science Sect # Credits Instructor(s) Instructor Email Meeting Times Location 01 3.0 Neil Immerman M W 9:05AM 10:20AM