帮助中心
当前位置:首页>现代逻辑丛书

相关词

图书 递归论导论图书

作者:郭世铭著   
出版日期: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 开通权限,或者直接付费购买。

当前账户可用余额

余额不足,请先充值或选择其他支付方式

请选择感兴趣的分类
选好了,开始浏览
×
推荐购买
×
手机注册 邮箱注册

已有账号,返回登录

×
账号登录 一键登录

没有账号,快速注册

×
手机找回 邮箱找回

返回登录