A. 数理逻辑(命题逻辑、一阶逻辑)

B. 集合论(集合的基本概念和运算、二元关系和函数)

C. 代数结构(代数系统的一般概念、几个典型的代数系统)

D. 图论(图的基本概念,树,二部图、欧拉图、哈密顿图)