确定
馆藏地
  • 全部
  • 浙江图书馆 (2)
  • 杭州地区 (1)
  • 湖州地区 (1)
语言
  • 全部
  • 中文 (2)
文献类型
  • 全部
  • 图书 (2)
形式
  • 全部
  • 馆藏纸本(2)
年份
  • 全部
  • 2016(1)
  • 2000-2009(1)
  -  
主题
  • 全部
  • 计算技术(1)
作者
  • 全部
  • 张寅生(2)
检索 返回2结果。
  全选 清除
摘要 列表
每页展示 15 30 50
收藏
  • [图书] 计算理论解析
  • 作者：张寅生著
  • 出版社：清华大学出版社
  • 出版日期：2016
  • ISBN：978-7-302-43791-8
  • 内容简介：本书介绍计算模型理论，包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法，以及计算模型的典型应用。全书共分为6章，第1章介绍计算的对象和本质，将离散变量作为图灵计算（离散变...
  • 所属馆：

    浙江图书馆

  • 获取途径：
收藏
  • [图书] 扩展的三段论及自动推理
  • 作者：张寅生著
  • 出版社：科学技术文献出版社
  • 出版日期：2009
  • ISBN：978-7-5023-6318-5
  • 内容简介：本书论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。内容包括：逻辑的本质与逻辑学的分类标准、亚里士多德三段论产生的背景和三段论研究的意义、亚里士多德三段论的特征、亚...
  • 所属馆：

    浙江图书馆 杭州图书馆 湖州市图书馆

  • 获取途径：
1
联合资源统一检索系统 超星 V2.0
已保存的题录（0）
电子邮件打印 输出格式▼
选出输出字段：
加载保存列表...
清空文件夹
注：
通过勾选，使对应参与检索，从而可以轻松获得更全面的检索结果。