Prerequisites Graduate standing and department permission. A study of the science that attempts to forge an intelligent connection between sensing and action. We may consider the structure and interpretation of video images, theories of planning and action, and the unique nature of the computational processes embedded in the entire, continuous, physical world. A study of the formal concepts and notations of theoretical computer science. Topics covered include automata, formal languages and grammars, Turing machines, recursive functions, computability, and undecidability.
Emphasis is on developing and presenting rigorous and formal arguments.
All Rights Reserved.