SI472: THEORY OF
DR. CHRISTOPHER BROWN
- Course Goals
- To study the various formal models of computation, from
both the formal language and the corresponding machine
- 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
- Assistant Professor Christopher W. Brown,
- 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."
The break-down on your final grades will be:
- 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.
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.
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).
Christopher W. Brown
Christopher W. Brown