Five College Consortium

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: 
MS-CMPSC students only 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: 
40821,40823
Schedule #: 
40822

Course Sections

Logic in Computer Science
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
02 3.0 Neil Immerman M W 9:05AM 10:20AM