Course Syllabus,
CS 5511 Theory of Computation
Spring Semester 2017

Course Data:
Instructor: Doug Dunham
Email: ddunham@d.umn.edu
Web Site: http://www.d.umn.edu/~ddunham
Office:333 Heller Hall
Phone:726-7510
Office Hours: Tu, Th 11-noon, W 2:30-5:55 p.m. and by appointment
Lectures: Tu, Th 9:30-10:45 a.m., F 8-8:50 a.m. in HH 306
Course Web Site: http://www.d.umn.edu/~ddunham/cs5511s17

Teaching Assistant: Zhiyuan Peng
Email: pengx157@d.umn.edu
Web Site: http://www.d.umn.edu/~pengx157
Consulting Hours: M 6 p.m., Tu 2 p.m., and W 3 p.m. in HH 314

Bulletin Description:
Mathematical theory of computation and complexity. Deterministic and nondeterministic Turing machines, Church-Turing Thesis, recursive and recursively enumerable languages. Undecidable problems, Rice's Theorem. Time and space complexity, reducibility, completeness for complexity classes, Cook's Theorem, P versus NP, Savitch's Theorem, complexity hierarchy.

Prerequisites:
3512 or #, or the equivalent if you are a transfer student.

Course Objectives and Content:
This course introduces elements of the theory of computation, an active research area involving the formulation of precise questions and answers concerning what is computable, by what means, and in what amount of space and time. Remarkably, such work does not depend essentially on any particular digital technology or programming language. Instead, computations are expressed and studied as mathematical objects. In this spirit, the course emphasizes standard methods for expressing and establishing mathematically precise claims. We introduce many well-known, widely-studied definitions and carefully consider what follows from them.

The following is a rough outline of the material from the text that I hope to cover in the course. Automata and languages (Part 1), computability theory (Part 2 except for Chapter 6), time complexity (Chapter 7), and if time permits, topics from space complexity (Chapter 8), intractability (Chapter 9), and cryptography (from Chapter 10).

Equal Opportunity:
The University of Minnesota is committed to the policy that all persons shall have equal access to its programs, facilities, and employment without regard to race, color, creed, religion, national origin, sex, age, marital status, disability, public assistance status, veteran status, or sexual orientation. As instructor, I am committed to upholding University of Minnesota's equal opportunity policy. I encourage you to talk to me in private about any concerns you have related to equal opportunity in the classroom. To inquire further about the University's policy on equal opportunity, contact the Department of Human Resources & Equal Opportunity 255 DAdB, (http://www.d.umn.edu/umdoeo), phone: (218) 726-6827, email: umdeo@d.umn.edu.

Students with Disabilities:
It is the policy and practice of the University of Minnesota Duluth to create inclusive learning environments for all students, including students with disabilities. If there are aspects of this course that result in barriers to your inclusion or your ability to meet course requirements - such as time limited exams, inaccessible web content, or the use of non-captioned videos - please notify the instructor as soon as possible. You are also encouraged to contact the Office of Disability Resources, 258 Kirby Student Center, to discuss and arrange reasonable accommodations. Please call 218-726-6130 or visit the DR website at (http://www.d.umn.edu/access) for more information.

Mental Health Statement:
As a student you may experience a range of issues that can cause barriers to learning, such as strained relationships, increased anxiety, alcohol/drug problems, feeling down, difficulty concentrating and/or lack of motivation. These mental health concerns or stressful events may lead to diminished academic performance or reduce a student's ability to participate in daily activities. University of Minnesota services are available to assist you with addressing these and other concerns you may be experiencing. You can learn more about the broad range of confidential mental health services available on campus via the UMD Health Service Counseling website at http://www.d.umn.edu/hlthserv/counseling/.

Student Conduct Code:
Appropriate classroom conduct promotes an environment of academic achievement and integrity. Disruptive classroom behavior that substantially or repeatedly interrupts either the instructor's ability to teach, or student learning, is prohibited. Student are expected adhere to Board of Regents Policy: Student Conduct Code: ( http://www.d.umn.edu/conduct/ ).

Teaching and Learning: Instructor and Student Responsibilities:
UMD is committed to providing a positive, safe, and inclusive place for all who study and work here. Instructors and students have mutual responsibility to insure that the environment in all of these settings supports teaching and learning, is respectful of the rights and freedoms of all members, and promotes a civil and open exchange of ideas. To reference the full policy please see: http://www.d.umn.edu/vcaa/TeachingLearning.html

Student Academic Integrity Policy:
Academic dishonesty tarnishes UMD's reputation and discredits the accomplishments of students. Academic dishonesty is regarded as a serious offense by all members of the academic community. This course will adhere to UMD's Student Academic Integrity Policy, which can be found at http://www.d.umn.edu/conduct/

Final Exams:
All 1xxx-5xxx courses offered for undergraduate credit should include a final graded component or end of term evaluation that assesses the level of student achievement of one or more course objectives. All final graded components are to be administered or due at the time and place according to the final exam schedule and not during the last week of class. To reference the full policy please see: http://www.d.umn.edu/vcaa/FinalExams.html

Excused Absences:
Students are expected to attend all scheduled class meetings. It is the responsibility of students to plan their schedules to avoid excessive conflict with course requirements. However, there are legitimate and verifiable circumstances that lead to excused student absence from the classroom. These are subpoenas, jury duty, military duty, religious observances, illness, bereavement for immediate family, and NCAA varsity intercollegiate athletics. For complete information, please see: http://www.d.umn.edu/vcaa/ExcusedAbsence.html

Appropriate Student Use of Class Notes and Course Materials:
Taking notes is a means of recording information but more importantly of personally absorbing and integrating the educational experience. However, broadly disseminating class notes beyond the classroom community or accepting compensation for taking and distributing classroom notes undermines instructor interests in their intellectual work product while not substantially furthering instructor and student interests in effective learning. For additional information, please see: http://www.d.umn.edu/vcaa/ClassNotesAppropriateUseof.html

Required Text:

Michael Sipser, Introduction to the Theory of Computation, Third Edition, 2012, Thompson Course Technology, ISBN 1-133-18779-X
Web site: http://www-math.mit.edu/~sipser/book.html

Course Requirements:
It is not directly required that you attend class, however attendance may be taken at class and lab meetings. Also, you are responsible for reading assigned text material and for material covered in class and in the lab, including:

  1. doing the reading assignments from the text
  2. the material covered in the lectures
  3. obtaining assignments and handouts
  4. turning in assignments

If you are unable to attend a class meeting, it is your responsibility to obtain class notes, assignments, and extra copies of handouts from your study partner. Note: assignments are due at the beginning of class on the due date (unless otherwise specified) -- they will be docked 25% per day if turned in late.

Assignments:

The assignments will consist of written homework. The homework should adhere to the Written Homework Format.

Examinations and Grading:

There will be a midterm exam, worth 100 points and a final exam worth 200 points. The final exam will be comprehensive.

Exam Schedule:
ExamPointsDate and Time
Midterm Exam 100 points Thursday, March 2, 9:30-10:55 am in HH 306
Final Exam 200 points Thursday, May 4, 8:00-9:55 a.m. in HH 306

Exams will not be given early, and makeups must be justified by dire circumstances described to the instructor before the time of the exam. It is Department of Computer Science policy not to return final exams, however they are kept and you can look at your exam in the instructor's office. The UMD Final Examination Policy web page explains the UMD policy about having more than two final exams on a single day, among other things.

Scores and total points will be maintained on eGradebook

Grading Procedures: Final grades are based on total points distributed approximately as follows:

Grades are assigned based on a percentage of the total points. These percentages may be lowered slightly but they will not be raised.

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.
Page URL: http://www.d.umn.edu /~ddunham/cs5511s17/syllabus.html
Page Author: Doug Dunham
Last Modified: Monday, 20-Feb-2017 16:05:06 CST
Comments to: ddunham@d.umn.edu