Axiom计算机代数系统

[原文链接]  --- 摘录于维基百科 常规 系统 作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释   作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释 Algebrator Neven Jurkovic 1986 1999 2009 (4.2) $58.99 否 专有 初等代数；分步解答 Axiom Tim Daly 1971 2

深入浅出机器学习入门 数据结构常见面试题 计算机组成原理常见面试题 操作系统常见面试题 计算机网络常见面试题 人工智能（计算agent基础） Abduction 溯因推理 Abductive diagnosis 溯因诊断 Absolute error 绝对误差 Absorbing state 吸收态 Action constr

英文原文：21 Free eBooks On Computer Mathematics! 　　计算机数学对于许多人来说可能是一个难以搞定的科目。在这里我们为大家提供了 21 本免费电子书来帮助大家更好的理解计算机数学。 　　1. 概率编程和黑客的贝叶斯方法 　　这本书是对贝叶斯推理的一个引导，着重于计算机理解方面，以数学观点为辅。这本书假定你事先即不了解贝叶斯推理也不了解概率编程的知识。 　　2.

　　计算机数学对于许多人来说可能是一个难以搞定的科目。在这里我们为大家提供了 21 本免费电子书来帮助大家更好的理解计算机数学。 　　1. 概率编程和黑客的贝叶斯方法 　　这本书是对贝叶斯推理的一个引导，着重于计算机理解方面，以数学观点为辅。这本书假定你事先即不了解贝叶斯推理也不了解概率编程的知识。 　　2. 图灵机时代的数学 　　Thomas Hales 著，出版商：arXiv ，2013 　　

在过去的一年中，我一直在数学的海洋中游荡，research进展不多，对于数学世界的阅历算是有了一些长进。   为什么要深入数学的世界    作为计算机的学生，我没有任何企图要成为一个数学家。我学习数学的目的，是要想爬上巨人的肩膀，希望站在更高的高度，能把我自己研究的东西看得更深广一些。说起来，我在刚来这个学校的时候，并没有预料到我将会有一个深入数学的旅程。我的导师最初希望我去做的题目，是对appe

在过去的一年中，我一直在数学的海洋中游荡，research进展不多，对于数学世界的阅历算是有了一些长进。   为什么要深入数学的世界    作为计算机的学生，我没有任何企图要成为一个数学家。我学习数学的目的，是要想爬上巨人的肩膀，希望站在更高的高度，能把我自己研究的东西看得更深广一些。说起来，我在刚来这个学校的时候，并没有预料到我将会有一个深入数学的旅程。我的导师最初希望我去做的题目，是对appe

三范式 第一范式 在关系模型中，对域添加的一个规范要求，所有的域都应该是原子性的，即数据库表的每一列都是不可分割的原子数据项，而不能是集合，数组，记录等非原子数据项。 第二范式 在第一范式的基础上，非码属性必须完全依赖于候选码，在第一范式基础上消除非主属性对主码的部分函数依赖。 第三范式 在第一范式基础上，任何非主属性不依赖于其它非主属性，在第二范式基础上消除传递依赖。

计算机操作系统

编译系统的四个阶段 预处理：将头文件的内容直接插入到文本 编译：源码到汇编 汇编：汇编指令到机器指令，这时得到的可重定位目标程序还无法执行 链接：将标准库函数所在的预编译文件合入到上一步的程序中，得到最终的可执行文件 系统硬件组成 32 位、64 位也是计算机总线依次传递的字的大小 控制器和适配器：控制器存在硬件上，硬件直接与 I/O 总线相连，在主板内部；适配器：不在主机内部而是通过扩展槽相连到

冯·诺依曼体系结构 计算机处理的数据和指令一律用二进制数表示 顺序执行程序 计算机运行过程中，把要执行的程序和处理的数据首先存入主存储器（内存），计算机执行程序时，将自动地并按顺序从主存储器中取出指令一条一条地执行，这一概念称作顺序执行程序。 计算机硬件由运算器、控制器、存储器、输入设备和输出设备五大部分组成。 数据的机内表示 二进制表示 机器数 由于计算机中符号和数字一样，都必须用二进制数串来表

编译系统 静态链接 目标文件 动态链接 编译系统 以下是一个 hello.c 程序： // c #include int main() { printf("hello, world\n"); return 0; } 在 Unix 系统上，由编译器把源文件转换为目标文件。 // bash gcc -o hello hello.c 这个过程大致如下： 预处理阶段：处理以 # 开

概述 进程管理 死锁 内存管理 设备管理 链接 参考资料 Tanenbaum A S, Bos H. Modern operating systems[M]. Prentice Hall Press, 2014. 汤子瀛, 哲凤屏, 汤小丹. 计算机操作系统[M]. 西安电子科技大学出版社, 2001. Bryant, R. E., & O’Hallaron, D. R. (2004). 深入理解