离散数学

数理逻辑、集合论、图论与代数结构，计算机科学的数学基础。