Mar 29, 2024  
College Catalog 2014-2015 
    
College Catalog 2014-2015 [ARCHIVED CATALOG]

CS 322 - Formal Methods

4.00 credits.
Topics include those associated with discrete mathematics as they apply to computing sciences, including induction and recursion in algorithms, graph theory in paths, trees and local area networks. A discussion of grammar classifications, finite-state machines, and push-down automata emphasizing context-free grammars and their use in parsing programming languages. *Prerequisite(s): CS 122  and MA 121 . Spring semester, alternating years.