>Almost no one (outside of those who were friends with math majors) are actually familiar with the nature of proof-based mathematics Hmm...when I was a CS majo

>Almost no one (outside of those who were friends with math majors) are actually familiar with the nature of proof-based mathematics Hmm...when I was a CS major, a discrete math course was required, and it was all proofs. I believe that is still common. I don't find the proof aspect that relevant to programming, but the concepts of discrete math, such as sets, graphs, definitely are. As far as things that aren't programming go in relation to programming, contest math, with its focus on efficient and creative problem solving, is probably more similar to the daily experience of writing software than any course I took. The exception would be Math Modeling and other courses that actually required programming.