本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的...
2017.3
本书内容可分为四个部分：第一部分为预备知识，包含与逻辑背景理论有关的关系，偏序集，格， 代数的基本知...
2017.5
复合命题的功能是可以陈述事物各种情况之间的并存关系、选择关系、条件关系以及否定关系等。可以说是复合命...
2017.12
本书是湖北大学哲学学院本科生数理逻辑课程（48学时）的教材。全书主要讨论了命题演算和谓词演算的两个公理...
2017.9
本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容...
2017.11
本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理...
2017.9
本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究...
2017.9
《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理...
2017.
这本书是罗素的数理哲学的一本通俗著作，是罗素继1903年问世的《数学原则》和1910—1913年出版的三大卷皇皇...
2017.
这本书是罗素的数理哲学的一本通俗著作，是罗素继1903年问世的《数学原则》和1910—1913年出版的三大卷皇皇...
2017.