Interestingly I've had a somewhat different experience (In the U.S.). Historically, my university had discrete math required for only the C.S. majors and the ma

Interestingly I've had a somewhat different experience (In the U.S.). Historically, my university had discrete math required for only the C.S. majors and the math majors could take the course as en elective.. few if any ever did. Then the dark times, the school made Discrete Math I a required class for math majors. The math majors rebelled strongly after more than half of them failed the course for 3 semesters straight. Eventually the school removed the requirement on math majors. It seemed in our situation that Math majors were, as a generalized body where exceptions of course exist, unable to accomplish the logic portions of the course. Most did fine with set theory and combinatorics but completely floundered in the rest of the course.