Math Majors, yes. CS majors, maybe? It really depends on how the university treats CS.
At the University of Waterloo, CS is strictly in the faculty of Math, so I'd expect students to know much of this (I think? I'm in Computer Engineering at UW, which is a distinctively different program).
OTOH, I'd imagine things are different in universities where CS is thought of as its own major, with no Software Engineering/Computer Engineering as an alternative.
Computer science at U Washington (UW also) is hosted in the college of arts and sciences and engineering as two different programs. But the former program has its own faculty and isn’t related to the math department in the closest. The latter program doesn’t have its own faculty at all, sharing with computer science and electrical engineering.
Interesting! I was actually about to go to U of Washington, but ended up avoiding due to the fact that they don't let students directly into CS, but instead have a cut-off system in second year.
At the University of Waterloo, CS is strictly in the faculty of Math, so I'd expect students to know much of this (I think? I'm in Computer Engineering at UW, which is a distinctively different program).
OTOH, I'd imagine things are different in universities where CS is thought of as its own major, with no Software Engineering/Computer Engineering as an alternative.