计算机科学中的现代逻辑学_科学商城—

热门关键词： 颠覆性技术创新研究现代数学基础丛书

0去购物车结算: 购物车中还没有商品，赶紧选购吧！

全部商品分类

网上书店按需印刷电子书

当前位置: > 计算机科学中的现代逻辑学

销售排行榜

人文社科项目申报300问黄忠廉
￥44.80元

院士谈力学
￥78.40元

迭代浑沌分形
￥12.00元

院士谈力学
￥98.00元

科学第一课
￥70.40元

冰穹之上：我的南极故事
￥61.62元

人文社科论文修改发表例话
￥47.60元

人文社科论文修改发表例话
￥73.00元

十大文献综述：妙理与实例
￥47.60元

河西走廊水利史文献类编.疏勒河卷：全二册
￥709.42元

浏览历史

联系编辑

标题：

内容：

联系方式：

计算机科学中的现代逻辑学

书号：7030010671

作者：王元元
外文书名：
装帧：

开本：
页数：266

字数：405000

语种：
出版社：科学出版社

出版时间：2001-10-08
所属分类：TP8 远动技术
定价： ￥28.00元

售价： ￥22.12元

图书介质:

购买数量： 件 缺货，请选择其他介质图书！
商品总价：

内容介绍

用户评论

全部咨询

1989年科学出版社出版了<计算机科学中的逻辑学>，该书于1992年获国家优秀教材奖，1997年被国家教委列为"九五"规划重点发展教材。根据教材建设的需要，借本次重印之机，对原书的内容进行了增补，其主要内容包括:形式化和形式系统概论，命题演算形式系统，各种形式的一阶谓词演算形式系统，直觉主义的一阶谓词演算形式系统，各种形式的模态逻辑系统，时态逻辑系统和动态逻辑系统，多值逻辑系统和模糊逻辑系统，非单调逻辑推理系统,λ-演算和组合逻辑，以及这些经典的和非经典的逻辑系统在计算机科学技术中的应用。
本书可用作计算机专业、数学专业的本科生、硕士研究生的数理逻辑、计算理论等课程的教材或教学参考书。

暂时还没有任何用户评论

总计 0 个记录，共 1 页。第一页上一页下一页最末页

全部咨询(共0条问答)

暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。第一页上一页下一页最末页

用户名：匿名用户

E-mail：

咨询内容：

第一章绪论
1.1思维:感知的概念化和理性化
1.2现代逻辑学求助数学
1.3现代逻辑学追随数学
1.4现代逻辑学改造数学
1.5现代逻辑学与计算机科
第二章命题演算形式系统
2.1命题演算基本概念
2.2命题演算形式系统
习题
第三章一阶谓词演算
3.1一阶谓词演算基本概念
3.2一阶谓词演算形式系统
3.3一阶谓词演算形式系统的语义
3.4关于FC的重要元定理
习题
第四章其它形式的一阶谓词演算系统
4.1使用五个真值联结词和两个量词的一阶谓词演算系统
4.2带等词的一阶谓词演算系统
4.3谓词演算自然推理系统
4.4多型变元一阶谓词演算系统
4.5直觉主义的一阶谓词演算系统
4.6一阶谓词演算系统的形式表述能力
习题
第五章消解原理及其应用
5.1消解原理"
5.2消解的策略
5.3消解原理的应用
5.4带等词一阶谓词演算的消解及其它
习题
第六章霍恩子句逻辑和逻辑程序设计
6.1子句的蕴涵表示形式
6.2霍恩子句逻辑
6.3Prolog语言简介
习题
第七章二阶谓词演算
7.1二阶语言
7.2二阶谓词演算形式系统
7.3二阶语义及其与二阶谓词演算系统的关系
7.4知识表示的格林方法和科瓦尔斯基方法
习题
第八章模态逻辑
8.1模态逻辑的非形式讨论
8.2模态逻辑正规系统及其语义
8.3模态逻辑系统KD，KT，KB，K4，K5及其它
8.4模态谓词演算
8.5模态逻辑的几种解释
习题
第九章时序逻辑与动态逻辑
9.1MPTL的语言
9.2MPTL的语义
9.3时序逻辑系统MPTL
9.4动态逻辑
习题
第十章多值逻辑及模糊逻辑
10.1三值逻辑
10.2无穷值逻辑
10.3模糊逻辑
第十一章非单调逻辑
11.1单调性与非单调性
11.2非单调逻辑的产生
11.3缺省推理逻辑
11.4非单调逻辑系统
11.5限定理论
第十二章λ-演算与组合逻辑
12.1逻辑系统的归约
12.2λ-记号及λ-表达式
12.3λ-演算
12.4λ-演算的表示能力
12.5λ-表达式的机器表示
12.6组合逻辑
习题
参考文献

销售排行榜

浏览历史

相同系列

全选

内容介绍

用户评论

全部咨询

内容介绍

用户评论

全部咨询

全部咨询(共0条问答)

目录

用户名：	匿名用户
E-mail：
咨询内容：

销售排行榜

浏览历史

相同系列 全选

内容介绍 用户评论 全部咨询

内容介绍

用户评论

全部咨询

全部咨询(共0条问答)

目录

相同系列

全选

内容介绍

用户评论

全部咨询