I do not believe that computer science is a proper subset of mathematics. Instead I agree with Paul Graham that computer science is a meeting point of several very different groups.

One of those groups is really doing math. The others are not.

(A lot of the algorithms folks are really doing math.)