IP用户,欢迎您!
登录
注册
客户端下载
使用手册
帮助中心
您的建议
书城
书城
本馆资源
高级检索
全部
题名
ISBN
作者
出版社
内容简介
首页
本馆资源
数字资源平台
>
理学
>
数学
>
基础数学
>
谓词抽象研究
阅读次数:
18
下载次数:
0
荐购次数:
0
收藏次数:
0
谓词抽象研究
作者:
魏燕侠著
出版社:
社会科学文献出版社
出版时间:
2017.12
ISBN:
978-7-5201-1173-7
主题:
谓词逻辑
丛编:
华侨大学哲学社会科学文库
分丛编题名:
哲学系列
中图法分类号:
O141.12
【中图法分类】
O 数理科学和化学
->
O1数学
->
O14数理逻辑、数学基础
【学科分类】
理学
->
数学
->
基础数学
文件大小:
65.61MB
页码:
371
建议阅读终端:
随书光盘:
扫描用手机阅读此书支持Android/iPhone
在线试读
荐购
分享到
新浪微博
QQ空间
腾讯微博
豆瓣网
人人网
内容简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。
目录
展开 ∨
发表评论
评分
1
2
3
4
5
评价:
请输入评论信息
5
0
/255
最新上架