本书各部分的ppt教案与CAI课件下载  

第一篇 数理逻辑（ppt下载）（CAI下载）

    第一章 命题逻辑

    第二章 谓词逻辑

    第三章 非经典逻辑简介

第二篇 集合论（ppt下载）（CAI下载）

    第四章 集合

    第五章 关系

    第六章 函数

    第七章 粗糙集简介

第三篇 近世代数（ppt下载）（CAI下载）

    第八章 代数系统

    第九章 半群与群

    第十章 环与域

    第十一章 格与布尔代数

第四篇 图论（ppt下载）（CAI下载）

    第十二章 图的基本概念

    第十三章 欧拉图与哈密顿图

    第十四章 特殊图

    第十五章 Petri网简介