Class meetings

UH 10:00-11:20
209 Deady Hall

Instructor

Eugene Luks
156 Deschutes Hall
Phone: x6-1379
E-mail: luks@cs.uoregon.edu
Office hours: by appointment.

Textbook

M. Sipser,
Introduction to the Theory of Computation
PWS Publishing Company, 1997

For additional references, see reserve books in Science Library

Homepage

http://www.cs.uoregon.edu/classes/03F/cis420

Assignments

Homework problems

Occasional extra-credit problems

Grading and dates

 

Homework	30%
In-class midterm Thursday, 30 October	30%
Take-home final exam due noon, Wednesday, 10 December	30%
Class participation	10%

Extra credit problems carry variable added credit.

Topics and tentative schedule

 

Chapter 1	Regular sets	~3 weeks
Chapter 2	Context-free languages	~2 weeks
Chapters 3,4,5	Computability theory	~4 weeks