谓词抽象研究 魏燕侠 著 科学与自然 类型 185千字 字数 查阅电子书 手机扫码 微信扫一扫 关注微信公众号 类似推荐 电子书 技术基础主义研究 曹志平 电子书 中国永佃制度研究 刘克祥 电子书 宋元福建科技史研究 贺威著 电子书 西藏水文改革发展研究 陈友香 电子书 甘肃治沙研究60年 内容简介 本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。 谓词抽象研究是2017年由社会科学文献出版社出版,作者魏燕侠 著。 得书感谢您对《谓词抽象研究》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。 科学与自然 数学