Qiuhao Li

摘要： 对于一个设备文件而言真正重要的标志是它的主次设备号（major and minor device numbers）。如果我们用 命令列出/dev下的一个设备： 可以看到，这是一个字符设备，但是在普通文件显示大小的地方用“5，1”代替了。其中5就是这个设备文件的major number，而1就是它的m 阅读全文

摘要： 字符设备是指驱动发送/接受单个字符（例如字节）的设备。 块设备是指驱动发送/接受整块数据（例如512个字节为一个块）的设备。 常见的字符设备：串口，并口，声卡。 常见的块设备：硬盘（最小读取单位为扇区，而这些个扇区就是块），USB摄像头，U盘。 对于用户而言，设备是字符设备还是块设备不重要，但是对于 阅读全文

摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 在这篇博文中我会依次复习一下状态机的定义、不变性原理、部分正确性和可终结性这四个和状态机相关的知识，并举出一些有意思的例子辅以说明，最后 阅读全文

摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 **From : [Mathematics for Computer Science](https://courses.csail.mi 阅读全文

摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 *第二数学归纳法证明的结论和[第一数学归纳法](http://www.cnblogs.com/liqiuhao/p/7792374.ht 阅读全文

摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 *数学归纳法是一种显示（局部）自然数元素都具有某种性质的有力工具。在离散数学和计算机科学中它都起到了重要作用。事实上，它的使用本身就是对 阅读全文

摘要： 相关： 第一数学归纳法 vs 第二数学归纳法 vs 良序定理 第二数学归纳法：硬币问题和堆垛游戏 第一数学归纳法：施塔特中心的地板砖 良序原理：算术基本定理的证明 *任何非空的非负整数集合都有一个最小的元素。* 首先不要把良序原理（Well-ordering principle）和良序定理（Well 阅读全文

摘要： 非构造性证明是“表述存在性的 "命题" 或 "定理" ”的一种 "证明" 方式：证明的过程中，不举例而只证明语句是否正确。非构造性证明很多时候依赖于 "排中律" 。 "数学结构主义" 数学不允许非构造性证明。 原文问题： If we raise an irrational number to an 阅读全文

摘要： 最近在复习大一的离散数学，看到一道好玩的悖论题目，分享一下。 原文： Albert announces to his class that he plans to surprise them with a quiz sometime next week. His students first won 阅读全文

摘要： 栈帧地址随机化是地址空间布局随机化（Address space layout randomization，ASLR）的一种，它实现了栈帧起始地址一定程度上的随机化，令攻击者难以猜测需要攻击位置的地址。 第一次遇到这个问题是在做cs:app3e/深入理解操作系统attacklab实验的时候，后来在做学 阅读全文