SI472: THEORY OF CCOMPUTING, FALL 2003
`http://www.cs.usna.edu/~wcbrown/courses/SI472/`
DR. CHRISTOPHER BROWN

POLICY

Course Goals
• To study the various formal models of computation, from both the formal language and the corresponding machine model perspective.
• To explore some of the practical applications of these formual models of computation and language.
• To present a general overview of the theory of computability and decidability.
• To understand the mathematical methods that let us describe computation and language, and prove things about them.

Instructor
Assistant Professor Christopher W. Brown, e-mail:wcbrown@usna.edu.

Text
Theory of Computing: A Gentle IntroductionKinber & Smith, Prentice Hall, 2001.

Extra Instruction
You are encouraged to come in for extra instruction (EI) when you are having trouble. EI can be scheduled in advance, or you can drop by and, if I am available, I'll help you. I'm willing to try and answer questions via e-mail, but for many problems face-to-face is more appropriate, so my response to an e-mail question may be "Come in and see me."

• 30%: Final Exam The final exam will be cumulative, but will emphasize the last 6 Weeks of the course.
• 40%: Exams 1 and 2
• 20%: Quizzes There will be approximately one quiz per week.
• 10%: Homeworks Expect a small assignment after every class. Assignments will be due at the beginning of the class following the assignment. Homeworks will be graded simply as 100, 50, or 0. If each problem has been attempted in a reasonable way - i.e. not necessarily correct but, in my estimation, attempted, and if the homework is legibly written (better yet typed), you will recieve 100 for it. If part of the assignment has been attempted in a reasonable way, then you will recieve a 50. Otherwise, you'll be given a zero.

Mid-semester grades for the 6-Week and 12-Week marking periods will be calculated by giving 70% weight to exam grades and 20% weight to quiz grades, and 10% weight to homework grades for the exams/quizzes/homeworks completed up to that point. Any changes to the grading policy will be announced in class and be reflected by changes in this document.

Honor
You may collaborate as much as you like on homeworks, but the actual pencil-to-paper or fingers-to-keyboard effort must be your own. All work on exams and quizzes should be your own, unless otherwise specified by me.

Capstone
The Computer Science Department requires majors to complete a Capstone Paper and Presentation (refer to COMPSCIDEPTINST 1520.1C) prior to the end of their First Class year. Your Capstone must be completed under the guidance of an advisor. You must find a faculty member to be your advisor by the end of the 6-Week marking period this semester. Usually, this will involve at least a tentative commitment to a topic as well. You will recieve a failing grade at each marking until you submit to me a signed agreement between you and your Capstone Advisor (enclosure 1 of COMPSCIDEPTINST 1520.1C).

 Submitted: ___________________ Christopher W. Brown Assistant Professor Course Coordinator Approved: ____________________ Kay Schulze Professor Department Chair

Christopher W. Brown
2003-08-18