2015-2016 University Catalog 
  
  Catalog Home
  General Information
  Courses
  Programs of Study
  Bachelor's/Accelerated Master's Programs
  Mason Core
  INTO Mason
  University Honors
  College of Education and Human Development
  College of Health and Human Services
  College of Humanities and Social Sciences
  College of Science
  College of Visual and Performing Arts
  Krasnow Institute for Advanced Study
  School of Business
  School for Conflict Analysis and Resolution
  School of Law
  School of Policy, Government, and International Affairs
  Volgenau School of Engineering
  Applied Science, BAS
HELP
2015-2016 University Catalog

CS 330 - Formal Methods and Models

Credits: 3
Limited to 2 Attempts
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.

Notes: CS 330 is restricted to students in the Applied Computer Science, Computer Science, or Systems Engineering Bachelor’s programs or the Computer Science or Software Engineering minors.

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