本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的...
2017.3
本书是湖北大学哲学学院本科生数理逻辑课程（48学时）的教材。全书主要讨论了命题演算和谓词演算的两个公理...
2017.9
本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容...
2017.11