| http://www.w3.org/ns/prov#value | - Topics include finite automata, pushdown automata, non-determinism, regular expressions, context-free grammars, Turing machines, Godel numbering, Church's thesis, the halting problem, unsolvability, and computational complexity.Prerequisite: CSC 220View Book InformationCSC 342 (3-3-0) Software Tools: This course covers software development on a specific platform such as Unix.
|
