全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

应用逻辑中的数学问题 / 应用逻辑与逻辑应用研究前沿译丛/杜国平主编

￥168.00定价

作者：（英）D.M.加贝等编；陈晓华，刘张华译

出版时间：2022-08

出版社：科学出版社

以下为《应用逻辑中的数学问题》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030646354
版次：31
图书编号：434728
装帧：平装胶订
开本：B5
出版时间：2022-08
页数：452
中图分类编号：①B182 ②O1-0

内容简介

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