离散数学好像是有combinatorics 和数论一部分。AOPS上说的，还有graph和set离散应该是CS里用的多。