登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書

『簡體書』中国表示法及其逻辑研究

書城自編碼: 3915874
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: 杜国平著
國際書號(ISBN): 9787522721002
出版社: 中国社会科学出版社
出版日期: 2023-05-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:HK$ 103.8

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
解密:梦的诞生
《 解密:梦的诞生 》

售價:HK$ 193.2
课长,这不是恋爱,这就是性骚扰!
《 课长,这不是恋爱,这就是性骚扰! 》

售價:HK$ 45.9
人文与社会译丛:我们中的我(承认理论研究)
《 人文与社会译丛:我们中的我(承认理论研究) 》

售價:HK$ 79.4
(守望者·人间世)自我:与齐格蒙特·鲍曼对谈
《 (守望者·人间世)自我:与齐格蒙特·鲍曼对谈 》

售價:HK$ 82.8
白蛇:浮生艺术画集
《 白蛇:浮生艺术画集 》

售價:HK$ 193.2
没有一种人生是完美的:百岁老人季羡林的人生智慧(读完季羡林,我再也不内耗了)
《 没有一种人生是完美的:百岁老人季羡林的人生智慧(读完季羡林,我再也不内耗了) 》

售價:HK$ 56.9
日耳曼通识译丛:复原力:心理抗逆力
《 日耳曼通识译丛:复原力:心理抗逆力 》

售價:HK$ 34.3
海外中国研究·未竟之业:近代中国的言行表率
《 海外中国研究·未竟之业:近代中国的言行表率 》

售價:HK$ 135.7

 

建議一齊購買:

+

HK$ 122.5
《东方的崛起:关于中国式现代化的哲学思考(第二版)(杨耕文集)》
+

HK$ 65.3
《张其成全解六祖坛经》
+

HK$ 37.3
《《德意志意识形态》这样学:马克思主义 马克思 恩格斯 哲学 》
+

HK$ 110.0
《马克思哲学要义(精装)》
+

HK$ 95.7
《王阳明心学:典藏修订版(畅销多年的阳明心学读本! 一本书讲透》
+

HK$ 62.9
《瑜伽哲学/瑜伽文库·正念系列(立足于身心灵健康,基于生命管理》
內容簡介:
本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
關於作者:
杜国平,男,1965年生,江苏省淮安市盱眙县人。哲学博士(逻辑学专业),工学博士(计算机应用技术专业)。现为中国社会科学院哲学研究所研究员、智能与逻辑实验室主任,二级教授,博士生导师,享受国务院政府特殊津贴专家。兼任中国逻辑学会会长,金岳霖学术基金会秘书长。主持完成国家社科基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。主要学术成果有《不协调信息的推理机制研究》《集合论-泛逻辑悖论》等。现主要从事逻辑学和人工智能基础理论研究,研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等。
目錄
导言
第一章 中国表示法
第一节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
第一节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
第一节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
第一节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
第一节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
第一节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
第一节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.