2021年5月25日
谓词逻辑
摘要： #思维导图 问题的提出 命题逻辑的局限性 解决问题的方法 基本概念 客体与客体变元 谓词 命题函数 论域(个体域) 量词 定义 量词后的指导变元 谓词公式及命题符号化 客体函数 原子谓词公式 谓词合式公式 (WFF)(Well Formed Formulas) 量词的作用域(辖域) 自由变元与约束变 阅读全文
posted @ 2021-05-25 23:15 Stéphane 阅读(605) 评论(0) 推荐(0)
格与布尔代数
摘要： ##思维导图 回顾 偏序集 极大元和极小元 最大元和最小元 上界与下界 上确界与下确界 7-1 格 (Lattice) 基本概念 格的定义 平凡格 由格诱导的代数系统 子格 判定子格：看去掉的元素是否影响封闭 格的对偶原理 格的性质 9条 格的同态与同构 定义 格同态的保序性 格同构的保序性 7-2 阅读全文
posted @ 2021-05-25 11:44 Stéphane 阅读(1445) 评论(0) 推荐(0)