MAT21601T, Hui Li, 课程大纲
命题逻辑 (Propositional logic)
谓词逻辑 (Predicate logic)
集合论(Set theory)
关系与函数 (Relation and function)
代数结构 (Algebraic structure)
格与布尔代数 (Lattice and Boolean algebra)
图论 (Group theory)
Chapter01, Chapter02, Chapter03, Chapter04, Chapter05
Chapter06, Chapter07, Chapter08, Chapter09, Chapter10
知识点
样题
逻辑运算真值表
等价式与蕴含式
拟序关系和偏序关系的区别
一个自同构的例子
一个特殊的整环
环中的零元
ICP证: 京ICP备15058131号-1