CIS 420/520 COURSE DATA


 
 
Class meetings
MW 10:00-11:20
205 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, 2nd Edition
PWS Publishing Company, 2005

For additional references, see reserve books in Science Library


Homepage

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

Assignments
Homework problems

Occasional extra-credit problems

Grading and dates
 
Homework 20%
In-class midterm
Wednesday, 26 October
35%
Take-home final exam
due noon, Monday, 5 December
35%
Class participation 10%

  Extra credit problems carry variable added credit.


Topics and approximate schedule
 
Chapter 1 Regular languages ~3 weeks
Chapter 2 Context-free languages   ~2 weeks
Chapters 3,4,5 Computability theory ~4 weeks