写了半天发现啥都没写

相当于自查表

---

 

集合、关系和语言

集合

*太简单辽，自己翻书*     集合：对象的汇集。     空集、单元集     子集、真子集     集合的运算：交 并 差                     幂等律 交换律 结合律 分配律 吸收律 De Morgan律     幂集 划分           *太简单辽，自己翻书*      笛卡儿积、二元关系      函数   满射 双射 自然同构      特殊二元关系：{自反 对称 传递} 等价                        {自反 反对称 传递} 偏序                        等价类            三个基本的证明技术：数学归纳法、鸽巢原理、对角化原理            对角化原理：对角线集合D对应主对角线上的方格序列的补，与每一行都不同

语言

*太简单辽，自己翻书*     字母表     字符串 前缀 后缀     语言     语言的连接 正则表达式 都太简单辽。。。