CISC 401/601  -   Elements of the Theory of Computation  -  Spring 2016

Instructor: Daniel Chester	TA: Chunbo Song
Office: 101G Smith Hall	Office: 201 Smith Hall
Hours: M/Th 3:30 pm-4:30 pm and by appt.	Hours: Tu 1:30 pm-3:30 pm
Phone: 831-1955	Phone: none
Email: User: chester Domain: udel.edu	Email: User: songcb Domain: udel.edu

Textbook

• Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, Complexity, and Languages, Second Edition, Morgan Kaufmann, San Francisco, 1994.

Course Description

Class Home Page

Topics (tentative, not necessarily in the order to be covered)

• Chapter 2: Programs and Computable Functions


• Chapter 3: Primitive Recursive Functions


• Chapter 4: A Universal Program


• Chapter 5: Calculations on Strings


• Chapter 6: Turing Machines


• Chapter 9: Regular Languages


• Chapter 10: Context-Free Languages

Grading

• homework assignments (48 %)


• midterm (March 18) (24 %)


• final exam (May 23, 1 pm) (24 %)

The numerical scores will be combined, not letter grades. Since the assignments and exams are not standardized, your course grade will depend not only on the weighted score you receive, but also on how your score compares with the score distribution for the whole class.

Policies

• All assignments are due at the beginning of class on the due date. They must be printed, not handwritten, and give to me in class on the due data. Do not email your work to the TA or me unless I give you instructions to do so.
• Homework will be accepted at the following class period after the due date, but the score will be reduced by 10 percent of the maximum possible score. The homework will not be accepted more than one week after the due date except in extreme and verifiable circumstances.
• All work on assignments must be your own. Do not collaborate with other students or copy their work. Do not copy from a book or other source. You may consult with each other about conceptual problems, but see the TA or me for help with details or debugging.

  If you get text or code from any source, including webpages on the Internet, books or other students, and present it as if it were your own, that is plagiarism. If the TA or I discover that you have plagiarized, I am obligated to report the incident to University authorities above the CIS Department. You must acknowledge and document such borrowings if you do use them. If they significantly reduce the amount of work you have to do for an assignment, you will lose points; the grade you get is for your work, not somebody else's.

• If you can't come to scheduled office hours, please send me email; I'll be happy to schedule a meeting at some other mutually-agreed-upon time.