程序代写 The Foundations: Logic and Proofs

The Foundations: Logic and Proofs

基本结构: 集合, 函数,
序列, 求和, 矩阵

Copyright By PowCoder代写 加微信 powcoder

大连东软信息学院/大数据科学系

Section 2.1

集合是基本的离散结构之一
集合论是一种要的数学分支
许多不同的公理系统已经被用来发展集合论。
在这里,我们不关心一组正式的公理集理论。这里,我们使用的是朴素集合论。

集合是对象的一个无序的聚集。
集合中的对象称为元素, 或成员。集合包含元素。
注意a ∈ A 表示 a 是集合A中的一个元素。
如果 a 不是集合A中的元素,写作 a ∉ A

通常用大写字母表示集合,小写字母表示集合中的元素

描述一个集合: 花名册方法
S = {a,b,c,d }
S = {a,b,c,d} = {b,c,a,d}
每个不同的对象是一个成员; 列出多次并不改变集合。
S = {a,b,c,d} = {a,b,c,b,c,d}
省略号 (…) 常用来描述没有列出所有的成员时。
S = {a,b,c,d, ……,z }

花名册方法(列举法)
英语字母表中所有元音的集合:
V = {a,e,i,o,u}
整数,小于10的正奇数的集合:
O = {1,3,5,7,9}
小于100的正整数的集合:
S = {1,2,3,……..,99}
S = {…., -3,-2,-1}

N = 自然数 = {0,1,2,3….}
Z = 整数 = {…,-3,-2,-1,0,1,2,3,…}
Z⁺ = 正整数 = {1,2,3,…..}

描述集合中的元素必须满足某种性质:
S = {x | x 是小于 100的正整数}
O = {x | x是小于10的正奇数}
T = {x ∈ Z⁺ | x 是奇数,且x < 10} 正有理数: Q+ = {x ∈ R | x = p/q, p和q为正整数} 使用谓词: S = {x | P(x)} 例: S = {x | Prime(x)} [a,b] = {x | a ≤ x ≤ b} [a,b) = {x | a ≤ x < b} (a,b] = {x | a < x ≤ b} (a,b) = {x | a < x < b} 全集 U 是包含当前正在考虑的一切的集合。 空集是不包含任何元素的集合。 用符号 ∅, 或者 { } 表示。 John Venn (1834-1923) Cambridge, UK 设 S 是所有集合的集合它们不是自己的成员。一个悖论的结果,试图回答的问题“S是它自己的成员吗?” 亨利为所有不给自己刮胡子的人刮胡子。一个悖论的结果,试图回答“亨利为自己刮胡子吗?” (1872-1970) Cambridge, UK Nobel Prize Winner 集合可以是一个集合的元素。 {{1,2,3},a, {b,c}} 空集与包含空集的集合不同 ∅ ≠ { ∅ } 对下面的每个集合,判断2是否为它的元素。 {x∈R|x是大于1的整数} {x∈R|x是一个整数的平方} {{2},{{2}}} {{2},{2,{2}}} 定义: 两个集合相等当且仅当它们有相同的元素。 如果A 和 B 是集合, 那么 A 和 B 相等当且仅当 {1,3,5} = {3, 5, 1} {1,5,5,5,3,3,1} = {1,3,5} 定义: 集合A 是B的子集, 当且仅当A的每个元素也是B的元素。 A ⊆ B 当且仅当量化式 为真。 例1:A = {b,c,d},B = {a,b,c,d} 例2:A = {a,b,c,d},B = {a,b,c,d} 定义: 集合A 是B的子集, 当且仅当A的每个元素也是B的元素。 A ⊆ B 当且仅当量化式 为真。 对于任意集合S, ∅ ⊆ S,因为 a ∈ ∅ 永假。 对于任意集合S, S ⊆ S, 因为 a ∈ S → a ∈ S永真。 证明一个集合是否是另一个集合的子集 证明 A 是B的子集 :要证明 A ⊆ B,需要证明 x 属于 A, 那么 x 也属于B。 证明A 不是B的子集: 要证明 A ⊈ B, 需要找到一个 x ∈ A 但 x ∉ B。 两个集合A 和 B 是相等的, 表示为 A = B, 当且仅当 也就是 A = B iff 相当于 A ⊆ B 并且 B ⊆ A 定义: 如果A ⊆ B, 但是 A ≠B,那么A 是 B的真子集,表示为 A ⊂ B,即 判断下列语句是真是假。 定义: 如果S中恰好有n个完全不同的元素,这里 n 是非负整数, 我们就说S 是有限集,否则是无限集。 定义: 有限集A 的基数, 记作 |A|, 是A 中不同元素的个数。 |{1,2,3}| = 3 下列各集合的基数是什么? {a,{a},{a,{a}}} {,{},{,{}}} 定义: 集合A的所有子集构成的集合, 记作 , 称为A的幂集。 例: A = {a,b} (A) = {ø, {a},{b},{a,b}} 如果集合有n 个元素, 那么它的幂集的基数为 求出下列各集合的幂集 下列集合各有多少个元素? 有序 n-元组 (a1,a2,…..,an) 是一个有序集合 ,a1 是第一个元素,a2 是第二个元素,……, an 是最后一个元素。 2-元组也叫有序对。 两个有序n-元组 是相等的,当且仅当它们对应的元素相等。 有序对(a,b) 和 (c,d) 相等,当且仅当 a = c , b = d。 定义: 两个集合A 和 B 的笛卡尔积, 表示为 A × B,是 有序对 (a,b) 的集合,其中 a ∈ A 且b ∈ B 。 例: A = {a,b} B = {1,2,3} A × B = {(a,1),(a,2),(a,3), (b,1),(b,2),(b,3)} 定义: 笛卡尔积A × B 的子集R 称为集合 A 到集合 B的一个关系。 René Descartes (1596-1650) 定义: 集合A1,A2,……,An, 的笛卡尔积表示为A1 × A2 × …… × An , 是有序对n-元组 (a1,a2,……,an) 的集合,其中ai 属于Ai , i = 1, … n。 例: A × B × C ,其中 A = {0,1}, B = {1,2} 和 C = {0,1,2} 答: A × B × C = {(0,1,0), (0,1,1), (0,1,2),(0,2,0), (0,2,1), (0,2,2),(1,1,0), (1,1,1), (1,1,2), (1,2,0), (1,2,1), (1,2,2)} 令A={a,b,c,d}, B={y,z},求: 令A={a,b,c}, B={x,y}, C={0,1}。求: 笛卡尔积A×B×C是什么?其中A是所有航线的集合,B和C是所有城市的集合。 试着解释A×B×C和(A×B)×C为什么不同? A={1,2,a,b} 如果A有m个元素,B有n个元素,则A×B有多少个不同的元素? 如果A有m个元素,B有n个元素,C有p个元素,则A×B×C有多少个不同的元素? 如果A有m个元素且n是一个正整数,则An有多少个不同的元素? 给定谓词 P 和论域 D, 定义 P 的真值集 为 D 中使P(x) 为真的元素x组成的集合。 P(x)的真值集记作 例: 论域是整数,P(x) 是“|x| = 1”,那么 P(x)的真值集是{-1,1} 数学中一些重要的集合 Section 2.2 定义: A 和 B 是集合。 集合A 和集合 B 的并集, 表示为 A ∪ B, 是一个集合: 例如: {1,2,3} ∪ {3, 4, 5} ? 答: {1,2,3,4,5} A ∪ B 的文氏图 交集Intersection 定义: 集合A 和 B 的交集, 表示为 A ∩ B, 是 注意,如果交集是空集, 那么A 和 B 被称为是不相交。 例如: {1,2,3} ∩ {3,4,5} ? 例如: {1,2,3} ∩ {4,5,6} ? 差集Difference 定义: A 和 B是集合。A 和B 的差集, 表示为 A – B,它包含属于A 而不属于B 的元素。A 和 B 的差集也被称为B相对于A的补集。 A – B = {x | x ∈ A  x ∉ B} = A ∩B A − B 的文氏图 补集Complement 定义: 如果A 是集合, 那么A的 补集 (相对于U ), 表示为Ā ,是集合 U - A Ā = {x ∈ U | x ∉ A} (A的补集有时候表示为 Ac ) 例: 如果 U 是小于100的正整数, {x | x > 70} 的补集是什么?
答: {x | x ≤ 70}

容斥原理 |A ∪ B| = |A| + | B| − |A ∩ B|

例: A 是打篮球的学生集合,B 打排球的学生集合。 计算打篮球或者打排球的学生人数?

A, B, A ∩ B, A ∪ B的文氏图

例: U = {0,1,2,3,4,5,6,7,8,9,10} A = {1,2,3,4,5}, B ={4,5,6,7,8}

答: {1,2,3,4,5,6,7,8}
答: {0,6,7,8,9,10}
答: {0,1,2,3,9,10}
答: {1,2,3}
答: {6,7,8}

对称差(optional)
定义: 集合A 和 B 的对称差,表示为

U = {0,1,2,3,4,5,6,7,8,9,10}
A = {1,2,3,4,5} B ={4,5,6,7,8} :
答: {1,2,3,6,7,8}

令A={0,2,4,6,8,10},B={0,1,2,3,4,5,6},C={4,5,6,7,8,9,10}

如果集合A与B具有下列性质,你能就A和B说些什么?
A ∩ B = B ∩ A
A – B = B – A

练习(Optional)
如果集合A、B、C满足下列条件,你能断定A=B吗?
A ∪ C = B ∪ C
A ∩ C = B ∩ C
A ∪ C = B ∪ C 并且 A ∩ C = B ∩ C

证明集合相等的方法:
每一个是另一个的子集。
使用集合构造器符号和命题逻辑。

1) 和

逻辑等价式的德摩根律

不属于符号的含义,交集的定义
逻辑等价式的德摩根律

集合构造器符号:第二德摩根律

逻辑等价式的德摩根律

证明集合相等的方法:
每一个是另一个的子集。
使用集合构造器符号和命题逻辑。
成员表: 验证在相同集合组合中元素同属于恒等式两边的集合。 用 1 表示元素属于一个是集合,否则为0。

A B C B∩C A∪(B∩C) A∪B A∪C (A∪B)∩(A∪C)
1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 1 1 1 1
0 1 0 0 0 1 0 0
0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0

A1, A2 ,…, An 是集合。定义:

i = 1,2,…,n。

A∪(B-A)=A ∪ B
(B-A) ∪(C-A)=(B ∪ C)-A
(A-C)∩(C-B)=

程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com