Jul 16, 2024  
2022-2023 Graduate Catalog 
2022-2023 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.