I'm planning on taking a computer science course this fall on Theory of Computation. However, one of the prereqs is "experience in formal mathematics at the level of [course on Discrete Mathematics]." I've done a little bit of discrete math before (The Art of Problem Solving covers some discrete math, right?), but I would like to go over it again before jumping into this course. Any recommendations for an overview of discrete math? Since it is for CS, it doesn't need to be incredibly in-depth.