![](https://img-blog.csdnimg.cn/20200430121328357.jpg?x-oss-process=image/resize,m_fixed,h_224,w_224)
《离散数学》
离散数学是计算机专业的核心基础课程,以后的数据结构、算法、数据库等等许多课程都需要有离散数学的基础。
通过系统学习《离散数学》,能为以后打下比较坚实的基础。
一起啃书,加油鸭~
Undergoer_TW
这个作者很懒,什么都没留下…
展开
-
离散数学之数理逻辑——第2章 命题逻辑等值演算
1. 等值式定义2.1设A,B是两个命题公式,若A,B构成的等价式A<->B为重言式,则称A与B是等值的,记作A<=>B.<=>不是连接符,它是用来说明A与B等值的一种记法,因而它是元语言符号。本书给出16组重要的等值式,应牢牢记住:上述16组等值式共包含了24个重要等值式。这样的等值式称为等值式模式,具体的等值式被称为原来等值式模式的待入实例我们...原创 2020-05-05 16:08:35 · 11112 阅读 · 0 评论 -
离散数学之数理逻辑——第1章 命题逻辑基本概念
1.1 命题与联结词命题与真值 可以判断真假的陈述句称为命题。作为命题的陈述句所表达的判断结果称为命题的真值。真值为真的命题称为真命题;真值为假的命题称为假命题。任何命题的真值都是唯一的。判断给定句子是否为命题,应该分两步:首先判定它是否为陈述句,其次判断它是否有唯一真值。eg: 我正在说假话。 (悖论)3. 悖论:由真能推出假,由假能推出真,从而既不能为真又不能为假的陈述...原创 2020-05-05 15:47:21 · 1785 阅读 · 0 评论