CS4123 Theory of Computation. B97
SYLLABUS

Prof. Carolina Ruiz
Department of Computer Science
Worcester Polytechnic Institute


CLASS PICTURES


CLASS MEETING:

Mo, Tu, Th, Fr 2:30 - 3:20 p.m.
Classroom: SL104


INSTRUCTOR:

Prof. Carolina Ruiz
ruiz@cs.wpi.edu
Office: FL 232
Phone Number: (508) 831-5640
Office Hours:
Tu. 1:30 - 2:30 pm
Fr. 3:30 - 4:30 pm, or by appointment


TEACHING ASSISTANT:

Natarajan Chandrakant
chandu@cs.wpi.edu
Room: FL 243
Office Hours:
Mo 10:00 - 11:00 am
Tu 11:00 - 12:00 m
We 2:00 - 3:00 pm
Th 1:00 - 2:00 pm

Messages sent to cs4123_ta@cs.wpi.edu reach both the instructor and the TA.


TEXTBOOK(S):


RECOMMENDED BACKGROUND:

CS 3133 Foundations of Computer Science.


GRADING:

Exam 1 30%
Exam 2 30%
Quizzes 25%
Homework 15%
Class Participation Extra Points

Your final grade will reflect your own work and achievements during the course. Any type of cheating will be penalized with an NR grade for the course and will be reported to the WPI Judicial Board. (See the Academic Honesty Policy.)


EXAMS

There will be a total of 2 exams. Each exam will cover the material presented in class since the beginning of the term. In particular, the final exam is cumulative. Exam 1 is scheduled for Tuesday Nov. 25 and Exam 2 is scheduled for Thursday Dec. 18. Both will be in-class, closed-book, individual exams.

HOMEWORK

Homework will be assigned every Monday and will be due at the beginning of the following Monday's class. Solutions to the homework will be made available soon after homework is collected, so no late homework will be accepted. You are encouraged to discuss the homework with your classmates, but you should develop and write your own solutions.

QUIZZES

Quizzes will be given at the beginning of every Tuesday class. Each quiz will cover the material of the previous week. Additional pop quizzes may be given as well.

CLASS PARTICIPATION

Students are expected to attend class and to read the material assigned to each class in advance. Class participation will add extra points to students' grades.

CLASS MAILING LIST

The mailing list for this class is:
cs4123@cs.wpi.edu
You MUST subscribe to the mailing list by sending the following one-line email message to majordomo@cs.wpi.edu:
subscribe cs4123

CLASS WEB PAGES

The web pages for this class are located at:
http://www.cs.wpi.edu/~ruiz/Courses/cs4123_A97/
Announcements will be posted on the web pages and/or the class mailing list, and so you are urged to check your email and the class web pages frequently.

ADDITIONAL SUGGESTED REFERENCES

The following additional references complement and/or supplement the material contained in the required textbook.
  1. H.R. Lewis and C.H. Papadimitriou, ``Elements of the Theory of Computation''. Second edition. Prentice Hall, 1998.

  2. M.R. Garey and D.S. Johnson, ``Computers and Intractability: A Guide to the Theory of NP-Completeness''. W.H. Freeman, 1979.

  3. J.E. Hopcroft and J.D. Ullman, ``Introduction to Automata Theory, Languages, and Computation''. Addison Wesley, 1979.

  4. T.H. Cormen, C.E. Leiserson, R.L. Rivest, ``Introduction to Algorithms''. McGraw-Hill, 1989.

  5. H. Rogers, ``Theory of Recursive Functions and Effective Computability''. The MIT Press, 1987.

WARNING:

Small changes to this syllabus may be made during the course of the term.