摘要：
1.命题符号化及联结词 简单命题，命题常项，命题变项，复合命题。 否定联结词，合取联结词，析取联结词，蕴涵联结词，等价联结词 2.命题公式及分类 命题公式，永真式，永假式，可满足式 3.等值演算 若等价式A<->B是重言式，则称A与B是等值的。 24个重要的等值式。 阅读全文
摘要：
1.外存信息的存取 在磁盘上读写一块信息所需的时间由3部分组成: 寻查时间+等待时间+传输时间。花费主要在寻查时间上。 2.外部排序的方法 首先，按可用内存大小将外存上含n个记录的文件分成若干长度为l的子文件或段，依次读入内存进行排序，排序后重新写入外存，这些有序的子文件称为归并段或顺串， 然后将有 阅读全文