杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

应用逻辑中的数学问题/(英) D.M. 加贝, (俄) S. S. 贡恰罗夫, (美) M. 扎哈里扬谢夫编 陈晓华, 刘张华等译

出版发行项:

北京:科学出版社,2020

ISBN及定价:

978-7-03-064635-4/CNY168.00

载体形态项:

438页:图;24cm

统一题名:

Mathematical problems from applied logic : logics for the XXIst century

丛编项:

应用逻辑与逻辑应用研究前沿译丛

个人责任者:

加贝 (Gabbay, Dov M.) 编

个人责任者:

贡恰罗夫 (Goncharov, Sergey) 编

个人责任者:

扎哈里扬谢夫 (Zakharyaschev, Michael) 编

个人次要责任者:

陈晓华 译

个人次要责任者:

刘张华 译

学科主题:

形式逻辑-关系-数学问题-研究

中图法分类号:

B812

相关题名附注:

书名原文取自版权页

书目附注:

有书目和索引

提要文摘附注:

本书内容分上、下两篇，共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。

豆瓣简介：