Five College Consortium

Logic in Computer Science

Semester: 
Fall
Year: 
2013
Subject Name: 

Computer Science

Course Number: 
513
Institution: 
UMass Amherst
Introduction to mathematical logic: propositional logic, first-order logic, completemess, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.
Comments: 
CMPSCI 250 and CMPSCI 311 with a grade of 'C' or better. STUDENTS NEEDING SPECIAL PERMISSION MUST REQUEST OVERRIDES VIA THE ON-LINE FORM: https://www.cs.umass.edu/ugrad-education/courses .
MEETS WITH CMPSCI 690LG.
Instructor Permission: 
Permission is required for interchange registration during the add/drop period only.
Crosslisted Section ID: 
38331,40366
Schedule #: 
38328

Course Sections

Logic in Computer Science
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 3.0

Neil Immerman

TU TH 1:00PM 2:15PM