2021年1月14日
离散数学1复习要点
摘要： 一、数理逻辑部分 1、命题的概念，联结词、真值表、联结词完全集 2、符号化（命题符号化和谓词符号化） 3、基本等值式、演算、公式类型、主范式、前束范式 4、推理：自然推理系统 二、集合论部分 1、集合：基本概念、运算，幂集、卡氏积、集合运算的基本算律；容斥原理 2、二元关系：定义；给定集合上的二元关 阅读全文
posted @ 2021-01-14 14:06 inss!w! 阅读(341) 评论(0) 推荐(0)