[andrewnc]

This tracks well with my experience also. I was disappointed, for the most part, the several graduate CS courses for this reason.

[mcguire]

By the time I'd finished graduate classes, I had a hard time with proofs. After the 10th or 12th introduction to predicate logic with slightly different notation, it just all becomes a big, confusing mass.