Jun 22, 2024  
2009-2010 Graduate Catalog 
2009-2010 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 570 - Introduction to Formal Language Theory

Formal languages, automata, regular expressions, grammars, introduction to computability theory. Reading and writing informal mathematical proofs pertaining to these topics.

Credits: (3)

Pr.: MATH 510.

When Offered

KSIS Course Search

Add to Portfolio (opens a new window)