Jan 17, 2020  
2019-2020 Graduate Catalog 
    
2019-2020 Graduate Catalog

CS 610 - Models of Computing


Prerequisites, equivalent of MATH 211, CPSC 406. In this course, students will study the mathematical models of computing from a contemporary perspective. The course will explore the connections between classical automata, operational and denotational semantics, and contemporary models of quantum computing. The theory developed in the course will be applied to specific known problems, e.g., in control theory (finite automata), real number computing (operational and denotations models), and cryptography (quantum computing). (Offered as needed.) 3 credits