Computer Models and Limitations

Computer Science 280
University of Rochester
Spring 2016

Instructor: Muthu Venkitasubramaniam

Time: TR 15:25-16:40
Place: Morey 321
Course Web page: http://www.cs.rochester.edu/courses/280/spring2016/

Graduate Teaching Assistant:

• Qiguang Liu

  • Email: qiguang.liu.vision@gmail.com

  • Office Hours:

    • 10:00a-11:00a Monday (Room CSB 603)

    • 10:00a-11:00a Tuesday (Room CSB 603)

Undergraduate Teaching Assistants:

• Daniel Rubery

  • Email: drubery@u.rochester.edu

  • Office Hours: 3:30p-4:30p Tuesday (Room CSB 727A)

• Lia Klein

  • Email: lklein13@u.rochester.edu

  • Office Hours: 11:30a-12:30p Wednesday (Room CSB 727A)

• Adam Scrivener

  • Email: ascriven@u.rochester.edu

  • Office Hours: 2:15p-3:15p Thursday (Room CSB 727A)

• Hassler Thurston

  • Email: jthurst3@u.rochester.edu

  • Office Hours: 2:30p-3:30p Friday (Room CSB 727A)

Workshop Leaders:

• Lia Klein

  • Workshop I: 5:00p-7:00p Wednesday (Room CSB 703)

• Adam Scrivener

  • Workshop II: 5:00p-7:00p Thursday (Room CSB 601)

• Hassler Thurston

  • Workshop III: 7:00p-9:00p Thursday (Room CSB 703)

Reading

The required text for the course is Introduction to the Theory of Computation (3ed.) by Michael Sipser. (Please note that this is the third edition)

You may find the following books to be useful references. Note, however, that we will not always be following the same notations as these books.

• [HMU06] Introduction to Automata Theory, Languages, and Computation (3ed.), J. E. Hopcroft, R. Motwani, J. D. Ullman, 2006

• [K97] Automata and Computability, D. Kozen, 1997

Lectures

Posted on blackboard

Prerequisites

CS 173 and MTH 150

Course Administration

All homeworks and grades will be posted on blackboard. Course announcement, discussions and notes will be posted through Piazza.

Grading

There will be Quizzes every class, Homeworks every week, and 2-3 Mid-terms. The grade will be based on all tests and workshop participation

Quizzes 30%

Homeworks 35%

Mid-Terms 20%

Workshops 15%

I will drop two of your lowest Quiz scores and one of your lowest Homeworks

Academic Honesty Policy

Please read the official academic honesty policy here. Pertaining to CSC 280, it is mandatory that you additionally adhere to the following policies:

1. YOU ARE NOT ALLOWED to refer any online source for homeworks, midterms, quizzes and homeworks.

2. For solving homeworks (while not encouraged) you are allowed to collaborate with other students in this class. However, you are allowed to collaborate with at most THREE OTHER STUDENTS.

3. You must submit individual homeworks and mention all your collaborators at the beginning of your homeowork. Furthermore, if you cannot explain your solution to a TA or instructor, your work will be considered as plagiarized.

Failure to follow any of the aforementioned policies will be reported to the board of academic honesty according to the rules specified here.