Dec 04, 2024  
2020-2022 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Letters from the Administration
  Administrators, Faculty and Staff
  The Graduate School
  General Graduate Admission Requirements
  Degree Requirements
  Academic Policies and Procedures
  Programs of Study
  College of Arts and Sciences
  College of Business
  College of Education
  College of Professional Studies
  Graduate Course Descriptions
HELP
2020-2022 Graduate Catalog [ARCHIVED CATALOG]

COSC 523 - Logic, Computability and Automata I

3 Credits

Prerequisite(s): COSC 522 An elementary development of propositional and predicate logics, set and Boolean algebras with a discussion of Markov algorithms, Turing machines and recursive functions. Topics include post productions, word problems and formal languages.