代码编织梦想


本文为离散数据与组合数学电子科技大学王丽杰老师的课程笔记,详细视频参考
【电子科技大学】离散数学(上) 王丽杰
【电子科技大学】离散数学(下) 王丽杰
latex的离散数学写法参考: 离散数学与组合数学-01

离散数学公式
!符号 代码 含义
∧ \wedge \wedge 且
∨ \vee \vee 或
∩ \cap \cap 交
∪ \cup \cup 并
⊆ \subseteq \subseteq 子集
⊈ \nsubseteq \nsubseteq 不是子集
⊂ \subset \subset 真子集
⊄ \not\subset \not\subset 不是真子集
∈ \in \in 属于
∉ \not\in \not\in 不属于
↔ \leftrightarrow \leftrightarrow 等价
⇔ \Leftrightarrow \Leftrightarrow 等值
¬ \neg ¬ \neg或\lnot 非
R \mathbb{R} R \mathbb{R} 实数集
Z \mathbb{Z} Z \mathbb{Z} 整数集
∅ \varnothing \varnothing 空集
∀ \forall \forall 对任意的
∃ \exists \exists 存在
≥ \geq \geq大于等于
≤ \leq \leq 小于等于

下标的输入命令是: x 内容 x_{内容} x内容 x_{内容}
上标的输入命令式: x 2 x^2 x2 x^2
空格 \quad

R / R\mkern-10.5mu/ R/ R\mkern-10.5mu/ 数值越大,斜杆越往字母左侧移动

离散数学与组合数学-03函数

3.1 函数基本概念

函数是数学中的一个基本概念, 它非常古老, 这个词出现于十七世纪下半叶,比关系理论早两个多世纪, 由伟大的数学家莱布尼兹提出, 他也与牛顿各自独立的发现了微积分的基本定理.
在高等数学中, 函数一般是在实数集的基础上来研究, 通常是连续或间断连续的函数. 在这里, 我们将函数看作是一种特殊的二元关系, 从离散量的角度讨论函数的定义, 运算和性质.
函数的概念在日常生活和计算机科学中非常重要. 例如, 各种高级程序语言中都大量的使用了函数。实际上, 计算机的任何输出都可看成是某些输入的函数.

在这里插入图片描述

3.1.1 函数的定义

在这里插入图片描述

3.1.2 函数举例

在这里插入图片描述
在这里插入图片描述

3.1.3 函数的数量

在这里插入图片描述

3.1.4 关系与函数的差别

当 A 和 B 都是有限集合时, 函数和一般关系具有如下差别:
关系和函数的数量不同: 从 A 到 B 的不同关系有 2 ∣ A ∣ × ∣ B ∣ 2^{|A|×|B|} 2A×B 个,
从 A 到 B 的不同函数却仅有 ∣ B ∣ ∣ A ∣ |B|^{|A|} BA 个;
关系和函数的基数不同: 每一个关系的基数可以从零一直到 |A| × |B|, 每一个函数的基数都为 |A| 个;
关系和函数的第一元素存在差别: 关系的第一个元素可以相同, 函数的第一元素一定是互不相同的

3.2函数的类型

3.2.1 函数类型

设 f 是从集合 A 到 B 的函数,对任意 x1, x2 ∈ A, 如果 x 1 = / x 2 x1=\mkern-17.5mu/ \quad x2 x1=/x2, 都有 f ( x 1 ) = / f ( x 2 ) f(x1) =\mkern-17.5mu/ \quad f(x2) f(x1)=/f(x2), 则称 f 为从 A 到 B 的单射;
如果 ranf = B, 则称 f 为从 A 到 B 的满射;
如果 f 既是单射又是满射, 则称 f 为从 A 到 B 的双射.
在这里插入图片描述

3.2.2 函数类型的必要条件

在这里插入图片描述

3.2.3 函数类型的数学化描述

在这里插入图片描述

3.2.4 函数类型的证明

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

3.3 函数的运算

3.3.1 函数的复合运算

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

3.3.2 函数运算的保守性

在这里插入图片描述

3.3.3 函数的逆

在这里插入图片描述

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/m0_38139250/article/details/128750124

离散数学知识点总结_sikongpop的博客-爱代码爱编程_离散数学

一、数理逻辑 逻辑基本律:同一律(A=A)、矛盾律(A且!A为假)、排中律(A或!A为真) (一)基本概念 1.命题逻辑基本概念:命题常项,命题变项,联结词,命题公式 (1)悖论:非命题 (2)联结词完备集:{非,或,与},{与非^},{或非} (3)命题公式的表达:真值表、析取合取范式 (4)命题公式的可满足性问题:消解法 2.一阶逻辑基

组合数学-母函数_sdau_20175962的博客-爱代码爱编程

母函数   在数学中,某个序列的母函数(Generating function,又称生成函数)是一种形式幂级数,其每一项的系数可以提供关于这个序列的信息。使用母函数解决问题的方法称为母函数方法。   母函数可分为很多种,

离散数学考前复习:(三)计数_半夏歌的博客-爱代码爱编程

离散数学考前复习:(三)计数 3.1排列与组合 加法法则:第一项任务为n1种方式,第二项任务为n2种方式,两项任务不能同时完成,则为(n1+n2)种方式乘法法则:一个过程可以分为独立的两个相互独立的任务,第一个任务有n1

简单聊聊离散数学是什么-爱代码爱编程

一、离散数学的主要内容与历史背景 首先让我们来聊聊什么是离散数学 ? 从内容上来看,离散数学没有一个确定的中心话题,内容很杂,粗略统计其涉及到主要概念如:集合、函数、关系、命题逻辑、谓词逻辑,到算法、计数、数据结构、递归、图论、概率、数论、形式语言与自动机,布尔代数、向量与矩阵,线性规划、抽象代数,编码理论、信息论,博弈论、运筹学、理论计算机科学等,真

离散数学n元变量的真值函数(或者真值表的种类数)有 2^(2^n)个 详解-爱代码爱编程

前言:这个定理在离散数学书上的解释,我看不太懂!(可能是我太愚笨了),然后在网上查了一些资料,才慢慢地懂了这个定理的意思。本文主要写给和我一样对这个定理云里雾里的同学!本文会尽可能地解释地清晰,希望对大家能有帮助! 题意:由n 元 变量能组成多少个真值函数,由于真值函数和真值表是一一对应的,所以也就是真值表的个数 解: 首先, n 个变量可以组成  

离散数学1-数理逻辑的基本概念-爱代码爱编程

目录 一、数理逻辑的基本概念 1、命题 2、原子命题和复合命题 二、联结词 1、如何把命题变成“算式”? 2、联结词 (1)否定词(negation)“并非”(not):¬ (2)合取词(conjunction)“并且”(and): ∧ (3)析取词(disjunction)”或”(or):∨ (4)蕴涵词(implication)”如

离散数学与计算机专业的关系是什么,离散数学跟计算机专业有什么关系?-爱代码爱编程

2007-05-27 学习计算机技术必须要学习《离散数学》这门课吗? 最常和理论计算机科学放在一起的一个词是什么?答:离散数学。 这两者的关系是如此密切,以至于它们在不少场合下成为同义词。传统上,数学是以分析为中心的。数学系的同学要学习三四个学期的数学分析,然后是复变函数,实变函数,泛函数等等。 实变和泛函被很多人认为是现代数学的入门。在物理

离散数学在计算机科学应用论文,离散数学论文:计算机科学中数学的重要性及其运用...-爱代码爱编程

摘    要:数学是计算机科学中不可忽视的重要内容,其为计算机科学的形成与发展奠定了基础。阐述了数学模型、离散数学、组合数学及数论在计算机科学中的应用,为计算机编程、模型建设、数据存储等方面提供了理论支持。 关键词: 数学; 计算机科学; 应用; Abstract:Mathematics is an important content in com

计算机大学离散数学难吗,大学离散数学怎么学-爱代码爱编程

离散数学是研究离散量的结构及其相互关系的数学学科,是大学里面的重要科目,那么应该怎样学好呢? 离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。离散数学以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是有限个或可数个元素,因此他充分描述了计算机科学离散性的特点。由于离散数学在计算机科学中的重要性,因此,许多大学都把它作为

离散数学——谓词逻辑-爱代码爱编程

谓词逻辑 谓词的概念与表示命题函数与量词命题函数 (Propositional functions)量词(Quantifiers)全称量词(The Universal Quantifiers)存在量词(The Existential Quantifiers)谓词公式与翻译变元的约束谓词的永真与等价前束范式谓词演算的推理理论推理规则(Rules of

python解离散数学_亚图跨际的博客-爱代码爱编程

离散数学 离散数学是对可数的、不同的或独立的数学结构的研究。 一个很好的例子是像素。 从手机到电脑显示器再到电视机,现代屏幕由数百万个称为像素的小点组成,这些点排列成网格。 每个像素根据设备的命令以指定的颜色亮起,但每个像素只能显示有限数量的颜色。 数以百万计的彩色圆点组合在一起形成错综复杂的图案,给我们的眼睛带来平滑曲线的形状印象,如以下圆圈的边界:

离散数学与组合数学-02二元关系上-爱代码爱编程

文章目录 离散数学与组合数学-02二元关系上2.1 序偶和笛卡尔积2.1.1 有序组的定义2.1.2 笛卡儿积笛卡儿积的性质 2.2 关系的定义2.2.1 二元关系定义与案例2.2.2 二元关系的数学符

【c语言练习】 二进制中1的个数-爱代码爱编程

目录 题目详情:思路一:思路二:思路三: 题目详情: 思路一:  拿到二进制的每一位,看它是否等于 1

acwing - 寒假每日一题2023(day 6——day 10)-爱代码爱编程

文章目录 一、AcWing 4645. 选数异或(中等)1. 实现思路2. 实现代码 二、AcWing 4644. 求和(简单)1. 实现思路2. 实现代码 三、AcWing 4653. 数位排序(简单)1.

力扣sql简单篇练习(一)-爱代码爱编程

力扣sql简单篇练习(一) 1 大的国家 1.1 题目内容 1.1.1 基本题目信息 1.1.2 示例输入输出 1.2 示例sql语句 SELECT name,population,area FROM W