CS 336, Spring 2002, Course IDs: 51150 and 51155}

Instructor: Tandy Warnow, ACE 3.420, tandy@cs.utexas.edu.
            Office hours Wednesdays 1-3.


TAs: (Office hours and locations to be announced)
- Ganesh Ganapathysaravanabhavan (gsgk@cs) and
- Paolo Ferraris (otto@cs.utexas.edu).

               Course Grade Determination:

There will be 4 quizzes during the semester (I will announce the surprise
quiz in the class before -- i.e. I'll announce it on a Tuesday if I give
it on the following Thursday, etc.).  Only the top 3 quiz grades count.
Each will count 5% of the course grade. Thus, quiz grades will contribute
15% towards the course grade.
- Homework grade contributes 10\% to the course grade.
- There will be two hour long exams which will count 20% each towards
  the course grade.  The exam dates are:
  *  February 5, covering pre-requisites from PHL313K, proof by
     contradiction, proof by induction, reading and writing mathematics,
     and graph-theoretic notation.
  *  March 28, covering the material up until the date of the exam.
- The final exam will contribute 35% of the final grade.
  (The final exam will be May 13 from 9-12 AM for course ID 51155,
  and May 9 from 2-5 for course ID 51150).
- Cheating results in failing the course.

I do not permit make-up exams.  In the event of a serious
emergency, your final exam will take the place of one missed exam,
and hence count more towards the course grade.

You will be graded on your ability to read and write mathematics,
to prove mathematical statements using non-trivial arguments (and
not using axiomatic arguments, as you did in PHL313K), and to do
calculations.

Your attendance each day is expected: success in this course
requires coming to class, as much of the material will not appear
in the book. If you expect to miss a class, please get notes from
one of the students in the course before the next class period!


                           Syllabus:

- January 15, 17, 22, 24, 29, and 31: Review of Philosophy 313K,
  additional proof techniques,  binary relations, graphs, and
  reading and writing mathematics.
- February 5: Exam 1 on material from the first three weeks,
  counting 20% of the course grade.
- February 7: Review of exam.  Students receiving D's and F's
  will need to meet with the professor to discuss dropping the
  course.  (February 11 is the last day to drop without the
  Dean's approval!)
- February 12, 14, 19, and 21: Elementary counting arguments
  and additional graph theory.
- February 26, 28, and March 5, 7: Recurrence relations.
- March 19, 21, and 26: Growth of functions ("Theta", "Omega",
  and "Big-Oh" notation).
- March 28: Exam 2, covering material since Exam 1, counting
  20% of the course grade.
- April 2: Review of Exam 2.
- April 4, 9, 11, 16, and 18: Design and analysis of algorithms.
- April 23 and 25: Program correctness.
- April 30 and May 2: Review of the course material in
  preparation for the final exam.