| At my school only Computer Engineers have to take proof-based math, i.e. Discrete Math. Abstract Math is another option for Engineers at my school who want to pursue a math minor. I suppose Random Processes involves some of that as well, but not to a very high extent. |