We work with logical statements about programs, so it will also help
if you are familar with basic logic. For example, we might use the
following logical statement to describe the relationship between the
variables x and z at some point in a program:
"for all y such that x < y < z, z/y is not an integer"
We generally review these mathematical concepts as we need them in the course, but a good background in math will make it easier for you to stay focused on the new material rather than the review.