《相干与衍推谓词逻辑》 - 冯棉 - 华东师范大学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

『簡體書』相干与衍推谓词逻辑

書城自編碼： 3233776
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者：冯棉
國際書號(ISBN)： 9787567577763
出版社：华东师范大学出版社
出版日期： 2018-08-01

書度/開本： 16开

售價：HK$ 83.8

我要買件

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

新書推薦：

《肉类料理的194种做法：猪肉、牛肉、羊肉、鸡肉、鸭肉、内脏类料理，全品类覆盖，终结“肉慌”。》
售價：HK$ 43.8

《兵行诡道：孙子思想精义》
售價：HK$ 63.8

《极简日本茶道史》
售價：HK$ 85.8

《法律人AI实操指南进阶版》
售價：HK$ 68.2

《分镜设计：脚本、镜头语言与AI技术应用从入门到精通》
售價：HK$ 108.9

《钱穆中国历代政治得失》
售價：HK$ 53.9

《海外中国研究·秦帝国的诞生》
售價：HK$ 85.8

《为自己跳舞，就会有人加入（资深关系治疗师的主动单身疗法，先疗愈，再谈爱）》
售價：HK$ 65.8

編輯推薦：

《相干与衍推谓词逻辑》由华东师范大学出版社出版。

內容簡介：

《相干与衍推谓词逻辑》研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整，概念表述明晰，内定理和元定理的证明严格而规范，具有理论的广度和深度，在一些重要理论问题上有突破和创新。

關於作者：

冯棉，华东师范大学终身教授，博士生导师，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授（2013）。主要研究领域为现代逻辑和逻辑哲学。撰有《经典逻辑与直觉主义逻辑》上海人民出版社,1989、《广义模态逻辑》华东师大出版社,1990、《相干与衍推逻辑》上海人民出版社,1993、《可能世界与逻辑研究》华东师大出版社,1996、《相干逻辑研究》华东师大出版社,2010、《结构推理》广西师大出版社,2015等多部专著。参与编写《哲学大辞典》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》、《大辞海（数理化力学卷）》等辞书和《逻辑学导论》等多部教材。先后承担多项国家和教育部基金项目，著作和论文获教育部高等学校科学研究优秀成果奖、上海市哲学社会科学优秀学术成果奖和金岳霖学术奖。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.