辛辛那提大学《离散数学》(2020) 完整课程：集合、逻辑、证明、概率、图...
Intro to Discrete Math - Welcome to the Course! P1 - 00:00
离散数学的逻辑式思维方式，不同于分析式的连续数学，因为数据总是离散的，如统计数据
应用于计算机，比如有一个数据库，计算机上的数学关乎数据处理；
应用端关注问题解决，操作计算机解决问题；
【学习tips】
•视频流程
•文本阅读
•解题实战
•作业与评分
•Questions on Piazza
Intro to Sets | Examples, Notation & Properties P2 - 00:00
【集合】
•离散数学的第一性原理（无前置）
概念与定义基于集合思想；
•集合的元素与符号语言表述
子集（命题：如果对于任意元素a属于集合A,a属于B，则A是B的子集）
•表示法
"…"列举记符（Set-Roster Notation）
{x|P(x)}构造记符（Set-Builder Notation）("Variables such that Property of x
is TRUE")
Set-Roster vs Set-Builder notation P3 - 00:00
集合的结构化符号表述
构造表述（例如函数公式为集合元素赋值）
The Empty Set & Vacuous Truth P4 - 00:00
空集是非空集的子集吗？vacuously true
定义：如果A是B的子集，那么任何A中的元素在B中
空集的情况无需使用定义检验的必要，称之成立。
Cartesian Product of Two Sets A x B P5 - 00:00
•卡式积：两集合各取一元素，所有可能的二元有序对形成的集合
【例】
两条实轴经过Cartesian Product 得到卡式平面
其它集合（数集同理）
Relations between two sets | Definition + First Examples P6 - 00:00
【集合之间的关系】
•例
大小：能够以二歧关系判断的关系
所属：～
•定义：～is subset of｛AXB｝
The intuitive idea of a function P7 - 00:00
