|
题名:
|
应用逻辑中的数学问题 ying yong luo ji zhong de shu xue wen ti / (英)D. M. 加贝, (俄)S. S. 贡恰罗夫, (英)M. 扎哈里扬谢夫编 , 陈晓华, 刘张华等译 |
|
ISBN:
|
978-7-03-064635-4 价格： CNY168.00 |
|
语种:
|
chi |
|
载体形态:
|
438页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2020 |
|
内容提要:
|
本书内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。 |
|
主题词:
|
形式逻辑 关系 |
|
中图分类法:
|
B812 版次： 5 |
|
中图分类法:
|
O1-0 版次： 5 |
|
主要责任者:
|
加贝 jia bei 编 |
|
主要责任者:
|
贡恰罗夫 gong qia luo fu 编 |
|
主要责任者:
|
扎哈里扬谢夫 zha ha li yang xie fu 编 |
|
次要责任者:
|
陈晓华 chen xiao hua 译 |
|
次要责任者:
|
刘张华 liu zhang hua 译 |
|
索书号:
|
B812/4087 |