2011-2012 University Catalog 
  
2011-2012 University Catalog

CS 330 - Formal Methods and Models

Credits: 3 (NR)
Abstract concepts that underlie much advanced work in computer science, with major emphasis on formal languages, models of computation, logic, and proof strategies.

Prerequisite(s): Grade of C or better in CS 211 and MATH 125. Prerequisite enforced by registration system.

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0