At UWaterloo 2 required first year courses are heavily proof based. One is basically intro to proofs. And second year there’s required graph theory/combinatorics course which are also proofs. 2nd year formal logic. 3rd year algorithms courses are highly proof based as well.
This isn’t a flex tho, cuz there’s so much optional advanced math that isn’t required. Everything in the combinatorics and optimization department at UWaterloo basically. Most of us UW CS grads are normies who didn’t do any of the hardest stuff including me :-)
This isn’t a flex tho, cuz there’s so much optional advanced math that isn’t required. Everything in the combinatorics and optimization department at UWaterloo basically. Most of us UW CS grads are normies who didn’t do any of the hardest stuff including me :-)