本书是湖北大学哲学学院本科生数理逻辑课程（48学时）的教材。全书主要讨论了命题演算和谓词演算的两个公理...
2017.9
本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容...
2017.11
本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理...
2017.9
本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究...
2017.9
《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理...
2017.
这本书是罗素的数理哲学的一本通俗著作，是罗素继1903年问世的《数学原则》和1910—1913年出版的三大卷皇皇...
2017.
这本书是罗素的数理哲学的一本通俗著作，是罗素继1903年问世的《数学原则》和1910—1913年出版的三大卷皇皇...
2017.
《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理...
2017.
本书从一道前南斯拉夫数学奥林匹克试题谈起，简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由...
2017.6
本书汇集GMAT官方解析2015、2016、2017版的所有阅读题材，从具体内容来讲1.以Prep为蓝本，帮助考生了解“标...
2017.1