CS 3100
Spring Semester 2024
IVC MW
Instructor: Thomas C. Henderson
The following lists the goals for the models of computtation course:
The prerequisite is successful completion of CS 2100 (C-or better) and CS major status.
We will work on the problems and solutions in automata theory and complexity theory.
We will have various readings (from class notes and occasional other readings) and as basic text use:
Sipser.
There are 2 types of assignments
You must read the assigned
material before the class discussion, and the
lectures will cover the text on the following schedule (may vary some
during
semester to accommodate progress):
|
Date |
Topic |
Material |
Problem Assignments |
|
|
|
|
|
|
January 20-27
|
Introduction to Basic Concepts
|
Chap 0: Introduction |
Assigned: A1 |
|
February 1 - 10 |
Regular Languages |
Chapter 1 |
Assigned: A2 |
|
February 17 - March 3
|
Context-Free Languages |
Chapter 2 |
Assigned: A3 |
|
March 8 - 17
|
The Church-Turing Thesis |
Chapter 3 |
Assigned: A4 |
|
March 22 - 31 |
Decidability |
Chapter 4 |
|
|
April 7 - 14
|
Reducibility
|
Chapter 7 |
Assigned: A6 |
|
April 19 - 26
|
Advanced Topics
|
Chapter 6 |
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: tch@cs.utah.edu
Phone:
801-581-3601
Fax:
801-585-3743
Office Hours (2871 WEB): By appointment.
N/A
E-Mail:
Phone:
Fax:
Office Hours (Student Office, WEB): N/A
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. The lowest (non-E) grade will be dropped to determine both the overall assignment and quiz grades.
Unless otherwise stated in an assignment, all assignments will be due by classtime on the assignment due date. You should upload PDF's to Canvas for assignments and quizzes. The time that we use for an assignment is the submit time. You may supply supporting material in the pdf as well (figures, math analysis, etc.). To hand in assignments electronically, use the upload facility in Canvas.
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.