Dec 05, 2023  
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.