基于OpenCV 4与Python，循序渐进介绍OpenCV从入门到实践的内容。
电子书
内容简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
章节目录
- 封面
- 前折页
- 《华侨大学哲学社会科学文库》编辑委员会
- 书名页
- 发展哲学社会科学 推动文化传承创新
- 内容提要
- Abstract
- 引言
- 第一节 现代模态逻辑的建立及存在的问题
- 第二节 西方哲学研究中的逻辑分析传统
- 第三节 谓词抽象：主题与脉络
- 第一章 谓词抽象的观念与发展历程
- 第一节 一类特殊的日常语言歧义现象及其哲学意义
- 第二节 谓词抽象思想的引入
- 第三节 菲汀与谓词抽象的完善
- 第二章 谓词抽象与模态Herbrand定理
- 第一节 经典Herbrand定理
- 第二节 模态系统K′的Herbrand定理
- 第三章 模态系统K′的Herbrand定理的证明
- 第一节 从右到左方向的证明
- 第二节 加标公式表列系统K′
- 第三节 从左到右方向的证明
- 第四章 模态系统D′、T′、S4′的Herbrand定理及证明
- 第一节 模态系统D′、T′、S4′的Herbrand定理
- 第二节 D′、T′、S4′的Herbrand定理的证明
- 第五章 谓词抽象与同一问题
- 第一节 形上学视阈下的同一问题
- 第二节 逻辑视阈下的同一问题
- 第三节 谓词抽象视阈下的同一问题
- 第六章 谓词抽象与摹状词理论
- 第一节 经典逻辑视阈下的摹状词指称问题
- 第二节 模态逻辑视阈下的摹状词指称问题
- 第三节 谓词抽象视阈下的摹状词指称问题
- 第七章 谓词抽象与葛梯尔问题
- 第一节 葛梯尔问题及传统解答方案
- 第二节 葛梯尔问题的认知逻辑解答方案
- 第三节 谓词抽象视阈下的葛梯尔问题
- 参考文献
- 版权页
- 后折页
- 封底
展开全部
谓词抽象研究是2017年由社会科学文献出版社出版,作者魏燕侠 著。
温馨提示：
1.本电子书已获得正版授权，由出版社通过知传链发行。
2.该电子书为虚拟物品，付费之后概不接收任何理由退款。电子书内容仅支持在线阅读，不支持下载。
3.您在本站购买的阅读使用权仅限于您本人阅读使用，您不得/不能给任何第三方使用，由此造成的一切相关后果本平台保留向您追偿索赔的权利！版权所有，后果自负！
得书感谢您对《谓词抽象研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
一本内容全面、精简实用的核心手册，以满足临床医师及护士随时查阅、指导临床实践的要求。
电子书
一本书带你了解塞内加尔。
电子书
作为北京市面积最大的生态涵养区、首都最重要的水源保护地，多年来密云区持续深化生态文明建设，把保护生态作为发展的前提，扬长避短，变优良生态优势为生态经济优势，并先后获得“国家生态文明建设示范区”和“绿水青山就是金山银山”实践创新基地两项殊荣。从创新生态环境保护体制机制，到科学谋划生态空间格局，再到大力发展都市型现代农业、高端休闲旅游业、乡村民俗旅游业、健康养生业及“高精尖”科技产业等绿色产业，密云区
电子书
《数学临阵磨枪·数学三》是为考研数学复习编写的辅导用书，本书主要内容是基础知识和基本题目，目的就是帮大家拿到基础分，争取高分。本书从联系的角度，将考研数学三的考点分成若干类型，模块化呈现给考生，每一类型包括例题和知识点清单以期达到“临阵磨枪”的效果。李永乐，原清华大学应用数学系教授，广受学生信赖的“线代王”，北京高教学会数学研究会副理事长，全国硕士研究生入学考试北京地区数学阅卷组组长。王式安，原北
电子书
《数学临阵磨枪·数学二》作为考研数学科目数学二的考前复习用书，本书是介绍考研数学二的基础知识和基本题目，目的就是帮大家在考前梳理一下知识点。本书从知识联系的角度，全方位、整体性、精炼性、模块性分成若干类型呈现给考生，每一类型包括例题和知识点清单以期达到“临阵磨枪”的效果。李永乐，原清华大学应用数学系教授，广受学生信赖的“线代王”，北京高教学会数学研究会副理事长，全国硕士研究生入学考试北京地区数学阅
电子书
《数学临阵磨枪·数学一》是考研数学复习用书，适用于最后冲刺阶段。本书包含数学一考试大纲要求的基础知识，目的就是帮大家考前梳理。本书涉及的内容主要包含：基本计算、基本应用和基本概念。从宏观的、联系的角度，全方位、整体性、精炼性、模块性分成若干类型呈现给考生，每一类型包括例题和知识点清单以期达到“临阵磨枪”的效果。李永乐，原清华大学应用数学系教授，广受学生信赖的“线代王”，北京高教学会数学研究会副理事
电子书
《数学决胜冲刺6套卷·数学三》是考研数学三的复习用书，内容包含6套模拟试卷。本书的主要适用于考研数学三的考生在考前进行摸底与练兵。本书中的试卷严格依据考试大纲要求编制，编制老师都是教学经验丰富的大学教授，试题考点覆盖考研数学三的全部知识点，题型难易程度近乎真题。编排形式完全仿照真题的考卷形式。李永乐，原清华大学应用数学系教授，广受学生信赖的“线代王”，北京高教学会数学研究会副理事长，全国硕士研究生
