𝔖 Scriptorium
✦   LIBER   ✦

📁

计算机科学精粹

✍ Scribed by [巴西]沃德斯顿·费雷拉·菲尔多 / 蒋楠 译


Year
0
Tongue
Chinese
Leaves
174
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


封面......Page 1
作译者简介......Page 2
数字版权声明......Page 3
扉页
......Page 4
版权
......Page 5
版权声明......Page 6
名言......Page 7
译者序......Page 8
前言......Page 10
目录......Page 12
查尔斯 • 巴贝奇的分析机原理图......Page 17
1.1 想法......Page 18
1.1.1 流程图......Page 19
1.1.2 伪代码......Page 20
1.1.3 数学模型......Page 21
1.2 逻辑......Page 22
1.2.1 运算符......Page 23
1.2.2 布尔代数......Page 25
1.2.3 真值表......Page 26
1.2.4 逻辑在计算中的应用......Page 29
1.3.1 乘法......Page 30
1.3.2 排列......Page 31
1.3.3 具有相同项的排列......Page 32
1.3.4 组合......Page 33
1.3.5 求和......Page 34
1.4.1 对结果计数......Page 36
1.4.3 互斥事件......Page 37
1.4.6 高级概率......Page 38
参考资料......Page 39
第2章 复杂度......Page 40
好处着想,坏处准备......Page 41
2.1 时间计算......Page 42
2.1.1 理解增长......Page 43
2.2 大O符号......Page 45
2.3 指数......Page 46
2.4 内存计算......Page 47
2.5 小结......Page 48
参考资料......Page 49
3.1 迭代......Page 50
嵌套循环与幂集......Page 52
3.2 递归......Page 53
递归与迭代......Page 54
3.3 蛮力法......Page 55
3.4 回溯法......Page 57
3.5.1 贪心法......Page 60
3.5.2 利用贪心法求解电网问题......Page 62
3.6.1 利用分治法求解排序问题......Page 63
3.6.2 利用分治法求解最佳交易问题......Page 66
3.6.3 利用分治法求解背包问题......Page 67
3.7 动态规划......Page 68
3.7.2 利用记忆化求解背包问题......Page 69
3.7.3 利用自底向上法求解最佳交易问题......Page 70
3.8 分支定界法......Page 71
3.8.1 上界与下界......Page 72
3.8.2 背包问题中的上界与下界......Page 73
参考资料......Page 75
抽象......Page 76
4.1 抽象数据类型......Page 77
使用ADT的优点......Page 78
4.2.2 栈......Page 79
4.2.4 优先队列......Page 80
4.2.6 排序列表......Page 81
4.3 数据结构......Page 82
4.3.1 数组......Page 83
4.3.2 链表......Page 84
4.3.4 数组与链表的比较......Page 85
4.3.5 树......Page 86
4.3.6 二叉查找树......Page 87
4.3.7 二叉堆......Page 90
4.3.9 散列表......Page 91
参考资料......Page 92
5.1 排序......Page 94
5.2 搜索......Page 96
5.3.1 图的搜索......Page 97
5.3.3 寻路......Page 100
5.4 运筹学......Page 103
5.4.1 线性最优化问题......Page 104
5.4.2 网络流问题......Page 105
参考资料......Page 107
第6章 数据库......Page 108
6.1.1 关系......Page 109
6.1.3 SQL......Page 112
6.1. 索引......Page 114
6.2 非关系数据库......Page 116
6.2.1 文档存储......Page 117
6.2.2 键值对存储......Page 118
6.2.3 图数据库......Page 119
6.2.5 SQL与NoSQL的比较......Page 120
6.3.1 单主机复制......Page 121
6.3.3 分片......Page 122
6.4 地理数据库......Page 124
6.6 小结......Page 126
参考资料......Page 127
7.1 体系结构......Page 128
7.1.1 存储器......Page 129
7.1.2 CPU......Page 131
7.2 编译器......Page 135
7.2.2 编译优化......Page 138
7.2.3 脚本语言......Page 139
7.2.4 反汇编与逆向工程......Page 140
7.2.5 开源软件......Page 141
7.3.1 处理器与存储器之间的鸿沟......Page 142
7.3.2 时间局部性与空间局部性......Page 143
7.3.4 二级缓存......Page 144
7.3.5 第一级存储器与第二级存储器......Page 145
7.3.7 存储技术的发展趋势......Page 147
7.4 小结......Page 148
参考资料......Page 149
8.1 语言学......Page 150
8.1.2 表达式......Page 151
8.1.3 语句......Page 152
8.2.1 变量类型......Page 153
8.2.2 变量作用域......Page 154
8.3.1 命令式编程......Page 155
8.3.2 声明式编程......Page 157
8.3.3 逻辑编程......Page 161
参考资料......Page 162
I 数字底数......Page 164
III 集合......Page 165
IV Kadane算法......Page 166
结语......Page 168
后记......Page 169
图书推荐......Page 170
连接图灵......Page 172
看完了......Page 174


📜 SIMILAR VOLUMES


计算机科学概论
✍ 内尔·黛尔; 约翰·路易斯 📂 Library 📅 2016 🏛 机械工业出版社 🌐 Chinese

<p>本书由两位知名的计算机科学教育家编写,全面而细致地介绍了计算机科学的各个方面。书中从信息层开始,历经硬件层、程序设计层、操作系统层、应用程序层和通信层,深入剖析了计算系统的每个分层,后讨论了计算的限制。此外,正文中穿插了大量的人物传记、历史点评、道德问题和新的技术发展信息,有助于你进一步了解计算机科学。每章后面都附带有大量的练习,可以帮助你即时重温并掌握这一章所述的内容。</p>

计算机科学概论
✍ (美)Nell Dale; John Lewis 📂 Library 📅 2009 🏛 机械工业出版社 🌐 Chinese

书签已装载, 书签制作方法请找 [email protected] 完全免费 《计算机科学概论》由两位知名的计算机科学教育家编写,全面而细致地介绍了计算机科学的各个方面。书中,计算系统的每个分层都以剖析,从住处层开始,历经硬件层、程序设计层、操作系统层、应用程序层的通信层,最后讨论了计算的限制。此外,正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息,有助于你进一步了解计算机科学。每章后面都附带有大量的练习,可以帮助你即时重温并掌握这一章所述的内容。 《计算机科学概论》是计算和计算机科学引论课程的理想教材,对于想要了解计算机科学概况的非专业人员,《

计算机科学概论
✍ [美]内尔·黛尔; [美]约翰·路易斯 📂 Library 📅 2016 🏛 机械工业出版社 🌐 Chinese

书签已装载, 书签制作方法请找 [email protected] 完全免费 本书由两位知名的计算机科学教育家编写,全面而细致地介绍了计算机科学的各个方面。书中从信息层开始,历经硬件层、程序设计层、操作系统层、应用程序层和通信层,深入剖析了计算系统的每个分层,后讨论了计算的限制。此外,正文中穿插了大量的人物传记、历史点评、道德问题和新的技术发展信息,有助于你进一步了解计算机科学。每章后面都附带有大量的练习,可以帮助你即时重温并掌握这一章所述的内容。

可计算性理论: 计算机科学丛书
✍ 莫绍揆; 王元元 📂 Library 📅 1987 🏛 科学出版社 🌐 Chinese

<p>本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分,详尽地研究了初等函数、原始递归函数、递归函数及给类算子,充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分,系统地介绍了各种形式语言及相应的语言识别器——各类自动机. 作为递归论内容的深入,本书还概要地介绍了递归集、递归枚举集及递归度的概念;作为上述两部分内容的应用,第十一章还讨论了判定问题.</p>