The lectures for the course (including reading assignments, presentations provided, and dates of the 8 examlets and the midterm exam) are available here.

- November 2-6: Tuesday 1-3 and Thursday 1-2
- November 9-13: No office hours
- All subsequent weeks (except Thanksgiving holiday): Tuesdays 1-3
- No office hours after December 11, 2015.

In large part I will rely on the material from Margaret Fleck's online textbook. However, I will not cover the number theory material, and I will present different material about trees. I will present applications of these concepts and techniques from computational molecular biology.

The main focus of the course is learning how to prove theorems, but also (of course) to read and write mathematics. Thus, these themes repeat throughout all the material presented in the course, even though the focus of the attention may seem to be on different topics. Currently, the course structure is as follows:

- Logic (2 lectures)
- Sets (2 lectures)
- Functions (1 lecture)
- Relations (1 lecture)
- Proof techniques (4 lectures)
- Combinatorial counting (1 lecture)
- Problems and algorithms (1 lecture)
- Big-oh and running time analysis (1 lecture)
- Graphs and trees (6 lectures)
- NP, P, and NP-hard (1 lecture)
- Dealing with NP-hard problems (3 lectures)
- Countability and uncountability (1 lecture)

Two items will be available for purchase at the Union Bookstore:

- Discussion packet: $4.75, required
- Duplicate lab notebook: about $15, recommended

The lab notebook is so that you can submit work during discussion sections, but also retain a copy for later studying. We believe this is most easily done using a carbonless duplicate lab notebook and we've selected one convenient model to put on the shelves at the Union Bookstore. However, it's ok to use other methods of quickly making a duplicate copy, such as your cell phone camera (if its pictures are good enough for you), a different model of duplicate lab notebook, loose carbonless duplicate sheets, the rest of a half-used chemistry notebook, etc. Those of you with photographic memories can simply turn in your only copy of the work. Note that the lab notebook will be graded.

**Illness policy: **
In addition to dropping the worst homework, examlet, or reading
quiz grade, I will also allow you to miss one
homework, reading quiz, or examlet, due to illness - even without
medical documentation (send email with an explanation
to receive this exception). If you receive this exception, then
your assignment grade for that category will be based on the
other assignments for that category. If your illness prevents you
from doing more than one assignment in a given category, then
exceptions may also be granted, but documentation will be required.
More generally, illness that lasts more than one week is likely to
have substantial impact on your ability to do well in the class; please
make arrangements to get extra help to
catch up if this is the case.

- Lab notebook (for discussion section): 5 pts
- Homework: 9 pts (due Mondays at 10PM on moodle, bottom homework dropped)
- Reading quizzes: 5 pts (due Wednesdays at 10PM on moodle, bottom quiz dropped)
- Examlets: 21 pts (8 exams in class, 3 pts each, worst examlet dropped)
- Midterm (October 6, in class): 20 pts
- Final exam (December 11, 8-11 AM): 40 pts