George Mason University
George Mason University Mason
George Mason University

CS 330: Formal Methods and Models

Course Information from University Catalog

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.

Hours of Lecture or Seminar per week: 3

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.

Credits: 3

Prerequisites:

Grade of C or better in CS 211 and MATH 125

3 Course Sections Scheduled for Fall 2017

3 Course Sections Scheduled for Fall 2018

3 Course Sections Scheduled for Spring 2018

Expertise