应用逻辑中的数学问题

收藏
  • 【作者】(英)D.M. 加贝,(俄)S.S. 贡恰罗夫,(美)M. 扎哈里扬谢夫编;陈晓华,刘张华等译
  • 【关键词】形式逻辑 关系 数学问题 研究
  • 【出版社】科学出版社
  • 【出版日期】2020
  • 【ISBN】978-7-03-064635-4
  • 【中图分类号】 B812/O1-0
  • 【内容简介】本书内容分上、下两篇,共13章。上篇内容涉及描述逻辑中的非标准推理、可证逻辑中的问题与逻辑动态中的开放问题、可计算性理论、逻辑学的发展、逻辑与认知科学、中世纪的阿拉伯语义、应用逻辑与其他学科发展之间的关系等。下篇内容涉及可证逻辑与证明逻辑、可计算性理论的研究动机与发展方向、可计算模型、相对论的一阶逻辑基础、数理逻辑的未来、区域空间理论等。全部展开
  • 【页码】438页
  • 【丛书名】应用逻辑与逻辑应用研究前沿译丛
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 临平区图书馆分馆 嘉兴市图书馆 秀洲区图书馆 温州市图书馆 瑞安市图书馆 乐清市图书馆 洞头区图书馆 仙居县图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。