1. COMP4451 Theory of Computing
Lecturer:
Dr. Etsuro MORIYA
(Waseda University, Tokyo)
MWF 10:30-11:30
1/08/2001-3/30/2001

2. Topics I. FORMAL LANGUAGE & AUTOMATA ・ Formal grammars and languages
・ Equivalent devices: automata
II. THEORY OF COMPUTATION
・ Models of computation
・ Computational complexity of problems
・ New trends in computing

3. How to Teach and Evaluate
Mostly writing on the blackboard
Not necessarily based on the textbook to be used
Exercises for each topic
Handouts available from web site
A quiz at the end of each topic
Exams in the middle & at the end of the term