00:命题、逻辑
01:复合命题、范式
02:谓词、量词
03:集合
04:初等数论基础部分
05:函数
06:计数
07:关系、图、树
08:群论基础
C语言实现
初等数论
北京交大 离散数学
线性代数 MIT
《离散数学及其应用 第六版》——Kenneth H.Rosen著
《线性代数及其应用 》——David C.Lay著