安徽理工大学图书馆书目检索系统

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.) 编

个人责任者:

贡恰罗夫 S. S. 编

个人责任者:

扎哈里扬谢夫 M. 编

个人次要责任者:

陈晓华 译

个人次要责任者:

刘张华 译

学科主题:

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

中图法分类号:

B812

中图法分类号:

O1-0

书目附注:

有书目和索引

提要文摘附注:

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

使用对象附注:

形式逻辑关系研究人员，数学问题研究人员

豆瓣简介：