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
formal 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
- Student Outcomes
Students should be able to discuss the theoretical and
mathematical foundations of computer science.
- 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
receive 100 for it.
If part of the assignment has been attempted in a
reasonable way, then you will receive 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.
Christopher W. Brown