您好,欢迎来到聚文网。 登录 免费注册
计算理论解析/张寅生

计算理论解析/张寅生

  • 字数: 122千字
  • 装帧: 平装
  • 出版社: 清华大学出版社
  • 作者: 张寅生 著作
  • 出版日期: 2016-08-01
  • 商品条码: 9787302437918
  • 版次: 1
  • 开本: 32开
  • 页数: 139
  • 出版年份: 2016
定价:¥29 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书介绍计算模型理论,包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法,以及计算模型的典型应用。
全书共分为6章。靠前章介绍计算的对象和本质,将离散变量作为图灵计算(离散变量计算)的对象,将其逻辑确定性和机械能行可计算性作为图灵计算的本质;第2章介绍可计算函数——递归函数;第3章介绍计算机的数学原理;第4章介绍语言的计算;第5章介绍判定问题的可计算性;第6章介绍计算模型的典型应用。
本书是计算理论(计算模型、形式语言与自动机)、计算机科学技术史、逻辑学、语言学、数学、哲学的交叉研究,也是通过浅显易懂的讲解方式进行计算机核心理论教学的尝试。作者力图为计算机相关人员提供一个计算的本质特征的“灵魂”描述及其通俗解释,以使得计算机软硬件的所有任务、过程,特别是软件的表达与执行归结为数学原理和逻辑本质。
本书适合作为高等院校计算机、通信、自动化、软件工程、信息管理、数理逻辑与数学基础、生成转换语言学等专业本科生和研究生的教材。同时,由于本书内容深入浅出,能够被仅具有基本数学知识的人读懂,因此也可供对计算机理论感兴趣的广大科技工作者参考。

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网