2004 年出版248 页ISBN：7040137984
本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算的部分内容；对其中的自然推理系统做了详细介绍，对公理系...
2004 年出版398 页ISBN：7504614319
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
2012 年出版128 页ISBN：9787530453575
本系列全套3本，分别为数理逻辑卷、语言文字卷、综合知识卷，是一套适用于小朋友脑力训练的高难度题集。内容丰富多彩、题型变化多样，极具挑战性，能提升孩子的自信心和意志力。出题方式妙趣横生，内容丰富，包含了孩...
2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
2011 年出版303 页ISBN：9787502634254
本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...
2006 年出版247 页ISBN：7500458835
弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。
2016 年出版140 页ISBN：9787560361468
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...
2015 年出版233 页ISBN：9787030444035
包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...
2012 年出版326 页ISBN：9787310040308
本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
2012 年出版312 页ISBN：9787561933404
本书是为纪念北京语言大学外国语学院博士生导师方立教授而作的文集，由“纪念文章”和“学术论文”两部分组成，从不同侧面总结了方立先生的学术成就以及同行学者和他的弟子们对方立先生的缅怀、纪念以及对他学...
2013 年出版80 页ISBN：9787530463574
本书从第一单元开始，让孩子自己解答问题，每个问题大约给5分钟左右的时间，然后看书后的答案，把答错的问题标记到目录上的“核对”一栏上。最后再让孩子重新做一遍。用小测验检测孩子的数学水平，每个单元后都有综...
2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
2010 年出版271 页ISBN：9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
