数理逻辑引论

收藏
  • 【作者】朱梧槚 ,肖奚安 ,朱朝晖
  • 【关键词】数理逻辑-高等学校-教材
  • 【出版社】大连理工大学出版社
  • 【出版日期】2023.1
  • 【ISBN】978-7-5685-4035-3
  • 【中图分类号】 O141
  • 【内容简介】本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容, 并且包含了与计算机科学有关的主题, 如有限模型。本书特点是: 内容可读性强; 组织结构更灵活, 授课教师可根据教学需要节选本书的内容; 反映了近几年来理论计算机科学对逻辑学产生的影响; 包含较多的示例和说明。全部展开
  • 【页码】255页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

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