Honestly, the logic and proofs of CS isn't a big deal on the proof side. However the big O issues and sorting are a big deal.

If you get into languages, the language part of the proofs are important, but only insomuch as recognizing/identifying if something can be parsed with an X or Y or Z.