This has been dormant for a while, but it's worth pointing out the ACM recommendations, which essentially say what J W says - but I don't have enough rep to vote up that answer or comment on it, so I provide the link here for those searching for info. The ACM also recommended calculus in this set of recs, whereas the update is more about the core CS curriculum. It's also worth mentioning that the ACM is focused more on "sound reasoning", not "formal symbolic proof", in its guidelines. That doesn't necessarily mean less mathematical, from what I can tell.