CSc I2000 Introduction to Theoretical Computer Science
Fundamental concepts from logic, models of computation, and complexity theory. Scope and limitations of various formalisms. The Chomsky hierarchy of languages and machines. Basic ideas for recursive functions. Impact on programming systems.
Contact Hours
3 hr./wk.