2009-2010 University Catalog 
  
2009-2010 University Catalog

CS 330 - Formal Methods and Models

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

Prerequisites
Grade of C or better in CS 211 and MATH 125.

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