分类
发现
听书
课程
标签
搜索
注册
登录
分类
发现
听书
课程
榜单
标签
收录
注册
登录
计算的本质
文档评分：
4.0 （
0 个有效评分
）
文档语言：
中文
章节数量：
1
阅读人次：
0
收藏数量：
0
整理分享：
管理员
阅读
收藏
扫码
阅读
收藏
扫码
文档标签
本质
计算
文档概述
计算的本质
书籍目录
书籍评论 (
0
)
版权声明
O'Reilly Media, Inc.介绍
业界评论
封面介绍
前言
排版约定
使用代码
Safari® Books Online
联系我们
致谢
第 1 章 刚好够用的Ruby基础
1.1 交互式Ruby Shell
1.2 值
1.3 控制流
1.4 对象和方法
1.5 类和模块
1.6 其他特性
第一部分 程序和机器
第 2 章 程序的含义
2.1 “含义”的含义
2.2 语法
2.3 操作语义
2.4 指称语义
2.5 形式化语义实践
2.6 实现语法解析器
第 3 章 最简单的计算机
3.1 确定性有限自动机
3.2 非确定性有限自动机
3.3 正则表达式
3.4 等价性
第 4 章 增加计算能力
4.1 确定性下推自动机
4.2 非确定性下推自动机
4.3 使用下推自动机进行分析
4.4 有多少能力
第 5 章 终极机器
5.1 确定型图灵机
5.2 非确定型图灵机
5.3 最大能力
5.4 通用机器
第二部分 计算与可计算性
第 6 章 从零开始编程
6.1 模拟lambda演算
第 7 章 通用性无处不在
7.1 lambda演算
7.2 部分递归函数
7.3 SKI组合子演算
7.4 约塔（Iota）
7.5 标签系统
7.6 循环标签系统
7.7 Conway的生命游戏
7.8 rule 110
7.9 Wolfram的2,3图灵机
第 8 章 不可能的程序
8.1 基本事实
8.2 可判定性
8.3 停机问题
8.4 其他不可判定的问题
8.5 令人沮丧的暗示
8.6 发生上述情况的原因
8.7 处理不可计算性
第 9 章 在“玩偶国”中编程
9.1 抽象解释
9.2 静态语义
9.3 应用
后记
相关书籍
工作的本质 - [日]远藤功
清华大学计算机科学与技术学科本科专业教育培养体系
云计算和现代远程教育
动宾搭配的语义分析和计算
管理系统中计算机应用
持股本质——全员持股迎接共享红利时代 - 孟祥鹰
国际贸易本质与国际贸易实务——国际贸易操作策略 - 宋国学
龙芯自主可信计算及应用 - 乐德广
面向云计算的按需服务软件工程 - 文斌
隐私计算理论与技术 - 李凤华，李晖，牛犇
软件工程师可信计算基础 - [美]莱特（Knight,J.）,古廷阳
计算机组装与维护（慕课版） - 蔡飓,孙菲
相关内容
《沟通的艺术》
《想象的共同体》
《艾伦·图灵传》
《刻意练习》
《潜规则 》
《我与地坛》
《环界》
《贫穷的本质》
×
分享，让知识传承更久远
×
《计算的本质》电子书下载
请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
EPUB 电子书
×
二维码
手机扫一扫，轻松掌上学
![工作的本质 - [日]远藤功](/uploads/projects/95507981ebaebbcfba8e48d1ce8d8a12/cover.jpg)
![软件工程师可信计算基础 - [美]莱特（Knight,J.）,古廷阳](/uploads/projects/a3405529ba4a54bc8b9c1f3b4756849a/cover.jpg)
