Furthermore, I don't think you need to expand or distort the definition of mathematics into "math-ish". For instance, many branches of engineering or even physics can be intensely mathematical without being mathematics, strictly speaking, whereas code for algorithms and data structures are highly abstract and more or less form a kind of proof. Sorry to sound pedantic, but some fields use math at a very high level, whereas CS is math.

There are some courses in CS, like operating systems, that I wouldn't quite consider to be math, that are still a fundamental part of CS... I suppose you could call those "computer engineering" but to me, that would be a dodge. Computer architecture and operating systems are pretty much computer science, and I wouldn't call them a specialized branch of math.

That's a lot of stuff. For example, probabilistic programming is concerned with all computable distributions. This is the most general class of sampleable distributions.