CS 504: Theoretical Foundations of Computer Science

 Autumn 2006-2007

Instructor 

Purandar Bhaduri, ext: 2360, email: pbhaduri.

Prerequisites

Introductory course on discrete mathematics and formal languages and automata theory.

Textbook

Automata and Computability, D. C. Kozen, Springer, 1997. (Available in Indian edition)

Reference Books

You may also refer to the following books.

Introduction to Automata Theory, Languages and Computation, J.E. Hopcroft, R. Motwani, and J.D. Ullman, Pearson Education, Second edition, 2001.

Elements of the Theory of Computation, H. R. Lewis and C. H. Papadimitriou, Pearson Education, Second edition, 1998.

Introduction to the Theory of Computation, Michael Sipser, PWS Publishing Company (1996?)

Home Assignment Policy

You may discuss the homework problems among yourselves, but the final solution must be in your own words. No credit will be given for identical solutions. No late submission of homework will be accepted.

back to homepage