>>10234639Lol, any graphics, basic information theory, etc. class covers this stuff. Engineering majors get some sigproc in there, but looking up transforms from a table isn't the same as knowing information theory. The truth is actually that most people in the field come out of some grad program
>>10234640Before anyone brings out the meme Rosen book, I had a discrete math class, but it was taught from professor's notes and all proof based. Set theory and logic were like the first week. I'm pretty sure this is just preening at this point. Either that, or you go to a bad school. We ended up on affine spaces for compiler parallelization and proofs of correctness by the end of my class.
>>10234641Software developers aren't computer scientists. You would be surprised how many things that are non-discrete aren't niche at all. Regardless, even if there are discrete structures, actually proving your way around structures that are even the tiniest bit more complex than the basic bitch arrays, linked lists, basic graphs, etc. is hard and requires lots of study. van Emde Boas trees for external streaming and memory, cartesian trees for linear string manipulation, etc. etc. The implications of these structures are fairly deep, and I've yet to see CpE majors touch anything close to proofs. No, your microprocessor class doesn't give you insight on how to solve hard problems.
At the end of the day, this is mostly just posturing. I double majored in math and CS at a school that was top 15 for both, and focusing in theory in CS (though with a lot of systems + some graphics there) was a near match in difficulty in my math degree. Things leveled out in grad school, which is to say that there's no appreciable difference between theoretical CS and math aside from maybe motivation.