In my personal experience studying undergraduate CS, apart from the dedicated maths modules, we did use mathematical notation for lambda expressions, regular ex

In my personal experience studying undergraduate CS, apart from the dedicated maths modules, we did use mathematical notation for lambda expressions, regular expressions, finite automata, Turing machines and the like. We didn't cover calculus or probability though (I think you were expected to learn that in secondary school). I vaguely recall that we touched on matrices and eigenvalues/vectors. But essentially, we were only taught the maths that we needed to know for CS. And of course there were units that didn't use much maths at all, such as systems development and human-computer interaction.