[Home] [CS381 Assignments] [Exam Schedule] [Notices]

Meets:	Monday, Wednesday, Friday
	9:05-9:55AM
	Goldwin Smith Hall, Auditorium D
Instructor:	Sergei Artemov
	318 Upson Hall, 255-4938
	artemov@cs.cornell.edu, sna2@cornell.edu
Office Hours:	Monday & Wednesday, 10:15-11:30 AM
Teaching Assistants:	Rohit Ananthakrishna (homework solutions); 4154 Upson Hall, rohit@cs.cornell.edu, 255-4574
	Matthew D. Fleming (homework solutions); 5154 Upson Hall, fleming@cs.cornell.edu
	Martin Pal (webpage); 4162 Upson Hall, mpal@cs.cornell.edu, 255-2219
	Pantaleo "Leo" DeCandia (grading czar); leo@cs.cornell.edu
	Chris Capobianco; cfc6@cornell.edu
	Ryan Williams; rrw9@cornell.edu
Review Sessions:	Monday-Thursday, 7:00-9:00pm, 111/111A Upson Hall
	Monday - Chris Tuesday - Rohit Wednesday - Matt, Ryan Thursday - Leo, Martin
Text Book:	Dexter Kozen, Automata and Computability
Suggested Reference:	J.H. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Language and Computation
Grading:	There will be two quizzes in class during the term and a final exam.  All exams are closed book. There will be weekly homework assignments posted on the web.  Students are free to discuss these assignments but the write-up must be independent work.  Solutions to homework will be linked to the assignment.  Homework is due Friday, lecture time. No late submissions allowed. The course grade will be determined by counting the two quizzes (roughly) 40%, final exam 45% and homework 15%. Grading complaints should be directed to the grading czar Pantaleo "Leo" DeCandia during a week after receiving a grade.
Related Course:	In the first few weeks, you may switch between the CS381 and CS 481 courses.
Newsgroup:	There is a newsgroup cornell.class.cs381 established for this course. It is intended for discussing CS381 related topics, interesting problems (but NOT homework solutions), complaints, suggestions etc. Be sure we read it! :-) You can learn more about newsgroups here.