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.

Credits

3

Prerequisite

CSC 30400 or equivalent.

Contact Hours

3 hr./wk.