Yeah, this CS program doesn’t even sound “mediocre”. I’m a freshman CS student who has self taught myself a bit more, and we have done most of this already for sure. Graphs and Trees were introduced in the intro class first semester. We haven’t had algorithms yet but have already been exposed to many popular ones. We’ve already done discrete, program proofs for validity, functional programming languages and object oriented ones. And my program isn’t even on the rankings map for CS.
That said, it seems like you know what you’re doing and can teach yourself a good deal, hopefully that will serve you well enough. Your classmates do sound like they are in for a big surprise though!