CS 330: Formal Methods and Models
Important: For the most up-to-date information, refer to the official George Mason Course Catalog
General Information
Credits: 3
Description:
Abstract concepts that underlie much advanced work in computer science, with major emphasis on formal languages, models of computation, logic, and proof strategies. Offered by Computer Science. Limited to two attempts.
Registration Restrictions:
Required Prerequisites: (CS 211C or 211XS) and (MATH 125C or 125XS).
C Requires minimum grade of C.
XS Requires minimum grade of XS.
Enrollment is limited to students with a major, minor, or concentration in Applied Computer Science, Computer Science or Software Engineering.
Enrollment limited to students in a Bachelor of Science or Post-Baccalaureate Certificate degrees.
Students with the terminated from CEC major attribute may not enroll.
Schedule Type: Lecture
Grading:
This course is graded on the Undergraduate Regular scale.
This course is graded on the Undergraduate Regular scale.