游客，欢迎访问首都图书馆！
帮助中心
您的建议
False
本馆资源
本馆资源
高级检索
全部
题名
ISBN
作者
出版社
电子图书
首页
本馆资源
首图冬奥主题书目
数字资源平台
>
理学
>
数学
>
基础数学
>
谓词抽象研究
谓词抽象研究
作者：
魏燕侠
著
出版社：
社会科学文献出版社
出版时间：
2017.12
ISBN：
978-7-5201-1173-7
主题：
谓词逻辑
丛编：
华侨大学哲学社会科学文库
分丛编题名：
哲学系列
中图法分类号：
O141.12
【中图法分类】
O 数理科学和化学
>
O1数学
>
O14数理逻辑、数学基础
【学科分类】
理学
>
数学
>
基础数学
建议阅读终端：
随书光盘：
在线试读
PDF格式
编辑推荐
简介
目录
评论
暂无推荐
简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
目录
展开 ∨
评论(0)
评分：
1
2
3
4
5
评价：
请输入评论信息
5
0
/255
我要评论
最新上架
