May 27, 2024  
2020-2022 Graduate Catalog 
    
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.