離散數(shù)學(xué)的邏輯式思維方式，不同于分析式的連續(xù)數(shù)學(xué)，因?yàn)閿?shù)據(jù)總是離散的，如統(tǒng)計(jì)數(shù)據(jù)

應(yīng)用于計(jì)算機(jī)，比如有一個(gè)數(shù)據(jù)庫(kù)，計(jì)算機(jī)上的數(shù)學(xué)關(guān)乎數(shù)據(jù)處理；

應(yīng)用端關(guān)注問(wèn)題解決，操作計(jì)算機(jī)解決問(wèn)題；

【學(xué)習(xí)tips】

?視頻流程

?文本閱讀

?解題實(shí)戰(zhàn)

?作業(yè)與評(píng)分

?Questions on Piazza

【集合】

?離散數(shù)學(xué)的第一性原理（無(wú)前置）

概念與定義基于集合思想；

?集合的元素與符號(hào)語(yǔ)言表述

子集（命題：如果對(duì)于任意元素a屬于集合A,a屬于B，則A是B的子集）

?表示法

"…"列舉記符（Set-Roster Notation）

{x|P(x)}構(gòu)造記符（Set-Builder Notation）("Variables such that Property of x

is TRUE")

集合的結(jié)構(gòu)化符號(hào)表述

構(gòu)造表述（例如函數(shù)公式為集合元素賦值）

空集是非空集的子集嗎？vacuously true

定義：如果A是B的子集，那么任何A中的元素在B中

空集的情況無(wú)需使用定義檢驗(yàn)的必要，稱之成立。

?卡式積：兩集合各取一元素，所有可能的二元有序?qū)π纬傻募?/p>

【例】

兩條實(shí)軸經(jīng)過(guò)Cartesian Product 得到卡式平面

其它集合（數(shù)集同理）

【集合之間的關(guān)系】

?例

大?。耗軌蛞远珀P(guān)系判斷的關(guān)系

所屬：～

?定義：～is subset of｛AXB｝