CS 6100 / CS 5100
Spring Semester 2014
WEB L120 MW
Instructor: Thomas C. Henderson
The following lists the goals for the foundations of computer science course:
The prerequisite is successful completion of CS CS 3100 and 4150 or equivalent.
We will work on the problems and solutions in automata theory and complexity theory.
No specific software.
We will use:
Sipser
There are 3 major types of assignments (use the Lab Report Format for Problem and Project reports):
The
lectures will cover the text on the following schedule (may vary some
during
semester to accommodate progress):
Date |
Topic |
Material (Sipser
|
Problem Assignments |
|
|
|
|
January 6-8
|
Introduction
|
Chapter 0 |
Assigned: A1 Assigned: Project |
January 13-15
|
Regular Languages |
Chapter 1 |
Assigned: A2 |
January 20-29 |
Context-Free Languages |
Chapter 2 |
Assigned: A3 |
February 3-12
|
The Church-Turing Thesis |
Chapter 3 |
Assigned: A4 |
February 17-26
|
Decidability |
Chapter 4 |
Assigned: A5 |
March 3-5 |
Reducibility |
Chapter 5 |
|
March 17-26 |
Advanced Topics in Computability |
Chapter 6 |
|
March 31 - April 2
|
Time Complexity
|
Chapter 7 |
Assigned: A8 |
April 7-9
|
Space Complexity |
Chapter 8 |
Assigned: A9 |
April 14-23
|
Advanced Topics in Complexity |
Chapter 10 |
Assigned: A10 |
|
|
|
The lectures and assignments will cover the text as we progress through the semester. Assignments will usually be handed out on Monday and due on a Wednesday after the material is covered.
Thomas C. Henderson, Professor
E-Mail:
Phone:
801-581-3601
Fax:
801-585-3743
Office Hours (2781 WEB): By appointment.
The grading distribution will be as follows:
You are expected to make a good effort on all assignments and in-class discussion based on a careful reading of the assigned material. I will assign a grade based on how reasonable your solution is given the difficulty of the assignment, the time required, and the style and content of the solution. My goal is to look at all your work, and to assign a grade based on your participation, effort and results. It's better to ask questions before and during an assignment, than to try and understand what went wrong after it's due. The proportions given above delineate how I intend to apportion the weight of the various work in the course.
Unless otherwise stated in an assignment, all assignments will be due by classtime on the assignment due date. You should handin PDF's and code. The time that we use for an assignment is the submit time. I may ask for supporting material as well (figures, math analysis, etc.).
See the Code of Student Rights and Responsibilities, or the Class Schedule for more details.
Appeals of Grades and other Academic Actions
If a student believes that an academic action is arbitrary or capricious he/she should discuss the action with the involved faculty member and attempt to resolve. If unable to resolve, the student may appeal the action in accordance with the following procedure:
No late work is accepted.
The purpose of the assignments is to improve your skills at solving problems and demonstrating that you understand the class material. Collaboration with other class members is acceptable in understanding problems or software tools. For any individual assignments or work turned in, you must do your own work. Using someone else's work or giving someone else your work is considered plagiarism and will be dealt with using standard College and University procedures (i.e., failure of assignment and class). The SoC policy states: "As defined in the University Code of Student Rights and Responsibilities, academic misconduct includes, but is not limited to, cheating, misrepresenting one's work, inappropriately collaborating, plagiarism, and fabrication or falsification of information. It also includes facilitating academic misconduct by intentionally helping or attempting to help another student to commit an act of academic misconduct. A primary example of academic misconduct would be submitting as one's own, work that is copied from an outside source." (See cheating_policy.pdf and SoC_ack_form.pdf in Link to Class Info and Docs.)
See university web page for the full academic calendar (Calendar web page). See the university web page for a copy of the withdraw guidelines as well, or see the Student Code.
See the college web page for more Guidelines.The University conforms to all standards of the
The
All written information in this course can be made available in
alternative
format with prior notification to the Center for Disability
Services.