-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
计算理论解析 版权信息
- ISBN:9787302437918
- 条形码:9787302437918 ; 978-7-302-43791-8
- 装帧:简裝本
- 册数:暂无
- 重量:暂无
- 所属分类:>
计算理论解析 本书特色
1、深入探讨图灵可计算性的数学原理,将图灵计算模型具体、详尽、直观地解释为递归函数,从而使读者彻悟作为一个物理过程的图灵计算其数学“灵魂”------离散计算的核心思想和原理----是什么。 2、对图灵计算模型的数学函数-----递归函数进行了综述和分类,使得读者能够从历史和逻辑的视野洞悉递归函数的发展脉络和形式结构及其逻辑分类。 3、以深入浅出的方式讲解和评介计算的基本原理和方法,用了较多的图示,直观易懂;关键问题提供了作者自己编纂的例题,形象而浅显。 4、将跨学科的分割的一体化内容进行了融汇贯通,主要地将计算的数学哲学、数理逻辑、计算与符号推导的形式语言学(乔姆斯基文法)融入了计算理论,使读者能够全方位了解知识的整体性和不同侧面。
计算理论解析 内容简介
本书介绍计算模型理论,包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法,以及计算模型的典型应用。
全书共分为6章。第1章介绍计算的对象和本质,将离散变量作为图灵计算(离散变量计算)的对象,将其逻辑确定性和机械能行可计算性作为图灵计算的本质;第2章介绍可计算函数——递归函数;第3章介绍计算机的数学原理;第4章介绍语言的计算;第5章介绍判定问题的可计算性;第6章介绍计算模型的典型应用。
本书是计算理论(计算模型、形式语言与自动机)、计算机科学技术史、逻辑学、语言学、数学、哲学的交叉研究,也是通过浅显易懂的讲解方式进行计算机核心理论教学的尝试。作者力图为计算机相关人员提供一个计算的本质特征的“灵魂”描述及其通俗解释,以使得计算机软硬件的所有任务、过程,特别是软件的表达与执行归结为数学原理和逻辑本质。
本书适合作为高等院校计算机、通信、自动化、软件工程、信息管理、数理逻辑与数学基础、生成转换语言学等专业本科生和研究生的教材。同时,由于本书内容深入浅出,能够被仅具有基本数学知识的人读懂,因此也可供对计算机理论感兴趣的广大科技工作者参考。
计算理论解析 目录
第2章 可计算函数------递归函数
2.0 预备知识
2.1 分解计算、逐步计算的思想
2.2 原始函数
2.3 递归函数的构造方法
2.3.1 复合方法
2.3.2 递归方法
2.4 递归函数的家族
2.5 递归函数的通俗解释
第3章 计算机的数学原理
3.1 数学运算的基础
3.2 希尔伯特第十问题及其自动化解决思想
3.3 图灵机原理
3.4 图灵机的局部改进和变形
3.4.1 多带图灵机
3.4.2 图灵机的复合
3.4.3 图灵机参数的限定
第4章 语言的计算
4.1 图灵计算的分类
4.2 语言的可计算性
4.3 作为枚举器的图灵机
4.4 作为语言识别器(接受器)的图灵机
4.5 图灵机和短语语法
4.6 线性有界自动机与上下文有关语法
4.7 下推自动机与上下文无关语法
4.8 确定型有穷自动机与正则语法
4.9 不确定型有穷自动机与正则语法
4.10 自动机接受的语言
第5章 判定问题的可计算性
5.1 基本概念
5.2 不可判定性问题实例
5.2.1 丢番图方程整数解问题
5.2.2 对角线函数
5.2.3 停机问题
5.2.4 逻辑蕴含
5.2.4 哥德尔语句G
第6章 计算模型的应用
6.1 计算机模拟图灵机
6.2 语言识别和语法验证
6.3 逻辑推理
6.4 计算复杂性分析
- >
月亮虎
月亮虎
¥15.4¥48.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥11.9¥23.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
烟与镜
烟与镜
¥20.6¥48.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.8¥10.0
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158