Apr 28, 2024  
2020-2021 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Programs of Study
  College of Arts and Sciences
  College of Business
  College of Education
  College of Professional Studies
  Course Descriptions
  Academic Regulations
  General Education and Institutional Requirements
  Financial Regulations and Expenses
  Financial Aid
  Special Programs and Resources
  Student Life and Academic Support
  Undergraduate Admissions
  University Buildings, Facilities and Campus Map
  Message From The President
  History
HELP
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

COSC 423 - Automata and Computation Theory

3 Credits

(Periodically)
Prerequisite(s): COSC 208. This course is a study of finite‐state machines, push‐down automata, and Turing machines. The Resolution Principle as applied to propositional first‐order logic, and aspects of mathematical logic with emphasis on applications to computing machines are discussed.