本书内容包括命题逻辑、谓词逻辑、关系与函数、图和树等数理逻辑、集合论、图论等内容，通过医疗专家系统等实际的项目和案例，让学生在做中学，学中做，深入浅出地掌握相关知识和技能。数理逻辑是用符号化的方法研究推理的规律，集合论研究集合与关系的相关理论，图论研究各种图结构与性质的理论基础。