中国社会科学文库-丛书列表

当前位置：首页>现代逻辑丛书

相关词

相关推荐

图书递归论导论图书

作者：郭世铭著

出版日期：1998-01 ISBN：7-5004-2295-4

关键词：递归论概论

简介：

现代逻辑内容很丰富，特别是符号逻辑或称数理逻辑，包括几个分支，如：逻辑演算，集合论，模型论，递归论，证明论等。在古典逻辑演算以外，近年来模态逻辑有了很大的发展，它又被称作哲学逻辑。符号逻辑不仅内容丰富，还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系，影响及于这些学科，有些影响甚至是带根...

收藏

图书模态逻辑图书

作者：周北海著

出版日期：1996-01 ISBN：7-5004-1888-4

关键词：模态逻辑

简介：

本书在介绍模态逻辑的学科性质和所需一些预备知识的基础上，详细讲述了模态命题逻辑和模态谓词逻辑。特别是在模态命题逻辑部分中，除介绍了几个经典系统之外，还介绍了可能世界语义学的基本内容及其一些应用，介绍了可能世界语义学下的典范模型及方法，以及由此证明一些模态系统的完全性。

收藏

图书集合论导引图书

作者：晏成书著

出版日期：1994-01 ISBN：7-5004-1203-7

关键词：集合论

简介：

本书主要是从公理出发建立集合论的理论体系，并且着重阐明每个公理在整个理论体系中的作用。书中首先由集合定义出关系和函数。在此基础上定义出自然数、自然数上的运算和序。进而讨论有穷集和无穷集，定义出序数及序数上的运算，讨论序数的各种性质。最后定义出基数和基数上的运算和序，直至提出连续统假设。

收藏

图书逻辑演算图书

作者：刘壮虎著

出版日期：1993-12 ISBN：7-5004-1425-0

关键词：形式逻辑演绎推理

简介：

数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。

收藏

<1> 跳转至页共 1 页

售前咨询：010-84083679 刘老师，张老师

售后服务：010-84083679 张老师

95133307@qq.com

北京西城区鼓楼西大街甲158号

快速链接

友情链接

版权所有：中国社会科学出版社京ICP备05032912号-4 京公网安备11010202010100号

咨询

关闭

1

点击右上角的

按钮

1

点击下方的分享按钮

2

选择分享到微信打开