MARC状态：审校 文献类型：中文图书 浏览次数：18
- 题名/责任者:
- 应用逻辑中的数学问题/(英) D.M.加贝, (俄) S.S.贡恰罗夫, (英) M.扎哈里杨谢夫编 陈晓华, 刘张华等译
- 出版发行项:
- 北京:科学出版社,2020.03
- ISBN及定价:
- 978-7-03-064635-4/CNY168.00
- 载体形态项:
- 438页:图;24cm
- 丛编项:
- 应用逻辑与逻辑应用研究前沿译丛
- 个人责任者:
- 加贝 (Gabbay, Dov M.) 编
- 个人责任者:
- 贡恰罗夫 (Goncharov, Sergey) 编
- 个人责任者:
- 扎哈里杨谢夫 (Zakharyaschev, Michael) 编
- 个人次要责任者:
- 陈晓华 译
- 个人次要责任者:
- 刘张华 译
- 学科主题:
- 形式逻辑-关系-数学问题-研究
- 中图法分类号:
- B812
- 中图法分类号:
- O1-0
- 相关题名附注:
- 英文题名取自版权页
- 书目附注:
- 有书目和索引
- 提要文摘附注:
- 本书围绕“逻辑学中最重要、最突出、最紧迫的问题是什么”这一个主题展开, 内容分上、下两篇, 共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。
全部MARC细节信息>>