Algebrite

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

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

计算机操作系统

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

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

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