Resources

Textbook

The primary textbook is Discrete Mathematics and its Applications, Kenneth Rosen, McGraw Hill, 7th edition. We will mostly use it as a reference; I won’t assign readings. You can find additional self assessments and examples here. A potentially useful supplement is Fundamentals of Discrete Math for Computer Science: A Problem-Solving Primer, Jenkyns and Stephenson. If you’re on campus, you can download the book here.

Typesetting

You will need to typeset your homework assignments. You can use a word processor, but it might be useful to use this as an opportunity to learn LaTeX (and, once you get going, it will probably be the easiest way to typeset math as well). The easiest way to get started with LaTeX is probably with an online editor. If you’d like to install LaTeX locally, TeX Live is a full distribution.

Here is one reference, others can be easily found online. The .tex source for the homework assignemts will be available as examples as well.

Writing

Mathematical writing can be strange. Here is a decent guide to all aspects of writing down your formal reasoning. Even if you don’t write proofs by hand in the future, this will help you clearly and logically express technical ideas.