[Computation]集合关系语言

Posted 2021-02-08 huisclos

写了半天发现啥都没写

相当于自查表

---

 

集合、关系和语言

集合

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

语言

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


都太简单辽。。。