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) 8315640
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 inclass, closedbook, 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
oneline email message to majordomo@cs.wpi.edu:
subscribe cs4123
 Messages sent to cs4123@cs.wpi.edu go to the entire class, and
 messages sent to cs4123_ta@cs.wpi.edu go to the lecturer and the TA only.
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.

H.R. Lewis and C.H. Papadimitriou, ``Elements of the Theory of Computation''.
Second edition. Prentice Hall, 1998.

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

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

T.H. Cormen, C.E. Leiserson, R.L. Rivest,
``Introduction to Algorithms''. McGrawHill, 1989.

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.