扫一扫
关注中图网
官方微博
¥67.0(7.6折)?
预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。
促销活动:
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
中国表示法及其逻辑研究 版权信息
- ISBN：9787522721002
- 条形码：9787522721002 ; 978-7-5227-2100-2
- 装帧：平装-胶订
- 册数：暂无
- 重量：暂无
- 所属分类：>>
中国表示法及其逻辑研究 内容简介
本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。
中国表示法及其逻辑研究 目录
导言
**章 中国表示法
**节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
**节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
**节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
**节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
**节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
**节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
**节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献
展开全部
中国表示法及其逻辑研究 作者简介
杜国平，男，1965年生，江苏省淮安市盱眙县人。哲学博士（逻辑学专业），工学博士（计算机应用技术专业）。现为中国社会科学院哲学研究所研究员、智能与逻辑实验室主任，二级教授，博士生导师，享受国务院政府特殊津贴专家。兼任中国逻辑学会会长，金岳霖学术基金会秘书长。主持完成国家社科基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。主要学术成果有《不协调信息的推理机制研究》《集合论-泛逻辑悖论》等。现主要从事逻辑学和人工智能基础理论研究，研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等。
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥12.6¥32.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
有舍有得是人生
有舍有得是人生
¥16.4¥45.0 - >
经典常谈
经典常谈
¥19.1¥39.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥6.3¥10.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.3¥38.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥17.9¥49.8 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8
