书目检索

简单检索 多字段检索 组合检索 书目详细信息

用户登录

书目信息 机读格式(MARC)

《应用逻辑中的数学问题》

应用逻辑中的数学问题

ISBN/价格:978-7-03-064635-4:CNY168.00
作品语种:chi eng rus
出版国别:CN 110000
题名责任者项:应用逻辑中的数学问题/.(英)D. M.加贝,(俄)S. S.贡恰罗夫,(英)M.扎哈里杨谢夫编/.陈晓华,刘张华等译
出版发行项:北京:,科学出版社:,2020.03
载体形态项:438页:;+图:;+24cm
丛编项:应用逻辑与逻辑应用研究前沿译丛
相关题名附注:版权页英文题名:Mathematical problems from applied logic: logics for the XXIst century
提要文摘:本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开,内容分上、下两篇,共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。
并列题名:Mathematical problems from applied logic: logics for the XXIst century eng
题名主题:形式逻辑 关系 数学问题 研究
中图分类:B812
中图分类:O1-0
个人名称等同:加贝 D. M (英) 编
个人名称等同:贡恰罗夫 S. S (俄) 编
个人名称等同:扎哈里杨谢夫 M (英) 编
个人名称次要:陈晓华 译
个人名称次要:刘张华 译
记录来源:CN 北京人天 20200424
总体评分: (共0人)
我的评分:
共12人预约本书
收藏

馆藏 附件 评论 相关借阅 借阅趋势

评论共 条 ,请登录后发表评论

用户评论