![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
计算机专业课
docta_exe
这个作者很懒,什么都没留下…
展开
-
离散数学之代数系统
基本概念 设非空集合A,B,C. 二元运算 f:A×B->C为二元运算(×为笛卡尔积) 算符 用算符来表示运算f,如“*”,“+”,“◦” n元运算 封闭性 A×A->A,即A中两个元素运算后的结果仍是A的元素 代数系统(代数) 集合A及其封闭运算组成代数系统,用<A,*,◦>表示 子代数(子代数系统) B是A的子集,且A的封闭运算在B中仍封闭,则<B,*,◦>是<A,*,◦>的子代数 ...原创 2020-12-28 19:49:34 · 1895 阅读 · 0 评论 -
离散数学之谓词逻辑
基本概念与表示 个体词:原子命题中,独立存在的客体(主语、宾语,如张三) (1)个体常量:特定的个体词,用a,b,c表示 (2)个体变量:泛指的个体词(如中国人),用x,y,z表示 谓词:刻画个体词的性质或个体词间的关系(如,是大学生) 个体域:个体词的取值范围,常用D表示 量词: (1)全称量词(∀x):所有··· (2)存在量词(∃x):存在··· (3)辖域:量词的作用范围 符号化 只需记住:存在用∧,全称用→ 如:没有人登上过木星. 设H(x):x是人;M(x):x登上过木星 则(∀x)(H(x)原创 2020-12-26 11:10:31 · 2666 阅读 · 2 评论 -
离散数学之命题逻辑
命题:具有确切真值的陈述句 复合命题:不能分解为更简单命题的命题 原子命题(简单命题):非复合命题 联结词 联结词 人话 真值表 否定 (非) 相反 合取 (与) 同时为1,则结果为1 析取 (或) 同时为0,则结果为0 蕴涵 (如果···就···) (0,1),则结果为0 等价 (当且仅当) 两者不一样,则结果为0 命题变量(命题变元): 相当于方程中的未知数,通常为P,Q,R 命题公式(合式公式): 相当于方程 真值表: ...原创 2020-12-23 21:37:10 · 679 阅读 · 1 评论