Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.
Books on reserve at the EngineeringAndAppliedSciencesLibrary.
1. Course textbook
Kenneth H. Rosen. Discrete Mathematics and Its Applications, Fifth Edition, McGraw-Hill, 2003. QA39.3 R67X 2003 (RosenBook)
2. Other discrete math textbooks
Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley, 1994. QA39.2 G733X 1994 (ConcreteMathematics)
Norman L. Biggs. Discrete Mathematics. Oxford University Press, 2002. QA76.9 M35 B54 2002. (BiggsBook)
3. Proofs and problem-solving
George Polya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, 1973. QA11 P65 1971 (HowToSolveIt)
Daniel Solow. How to Read and Do Proofs: An Introduction to Mathematical Thought Processes. Wiley, 2001. QA9 S577 2001 (SolowBook)