结构推理(第2版)--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥22.05

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

编辑推荐

结构推理展现了日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。

内容简介

结构推理是现代逻辑的重要推理方式之一，它通过对各种结构规则的研究，从整体上处理一大类逻辑，具有良好的表现力。与此同时，借助于结构规则和联结词规则，也揭示出各个现代逻辑分支的差异，成为诸分支比较研究的有力工具。结构推理展现了日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构。结构推理系统与相应公理系统的等价性，在语义理论的基础上．证明了各个结构推理系统的可靠性与接近性，并考察了正结合演算结构推理系统BL-D的可判定性，是探究这一逻辑前沿领域的力作。

作者简介

冯棉，华东师范大学终身教授，博士生导师，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，撰有专著《经典逻辑与直觉主义逻辑》《广义模态逻辑》《哲学逻辑与逻辑哲学》《相干与衍推逻辑》《可能世界与逻辑研究》《相干逻辑研究》《结构推理》《相干与衍推谓词逻辑》等多部。参与编写《哲学大辞典》《计算机科学技术百科全书》《辞海》《外国哲学大辞典》《大辞海》《逻辑学大辞典》（副主编）等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。

第一章经典命题逻辑的结构推理
1.1 经典命题逻辑的结构推理系统PL
1.2 切割规则与其他导出规则
1.3 系统PL与相应公理系统P的等价性
第二章直觉主义命题逻辑的结构推理
2.1 直觉主义命题逻辑的结构推理系统IL
2.2 系统IL与相应公理系统IP的等价性
2.3 二元关系语义
第三章相干命题逻辑及其线性片段的结构推理
3.1 相干命题逻辑的结构推理系统RL及其线性片段BCI
3.2 系统RL、BCL与相应公理系统R、BC的等价性
3.3 三元关系语义
3.4 系统RL、BCL的接近性
第四章正结合演算的结构推理
4.1 正结合演算的结构推理系统BL
4.2 系统BL与相应公理系统B的等价性
4.3 择类语义
4.4 正结合演算结构推理系统BL-D的可判定性
参考文献
符号表
索引
初版后记

结构推理(第2版)

库存： {{selectedSku?.stock}} 库存充足