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

COSC 423 - Automata and Computation Theory

3 Credits

When Offered (Periodically)
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.

Prerequisite(s): COSC 208.