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