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: 
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

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