LOGO
Đặc tả hình thức
Nguyễn Thị Minh Tuyền
Tập hợp và quan hệ
Nguyễn Thị Minh Tuyền 1
Đặc tả hình thức
Tập hợp (Set)
v Tập các đối tượng rời rạc (không có thứ
tự).
v Một tập hợp được tạo ra từ một miền
(domain) các đối tượng mà trong đó tất cả
các đối tượng có cùng kiểu (type)
§ Tập hợp có tính đồng nhất.
v Ví dụ:
§ {2,4,5,6,…}
§ {red, yellow, blue}
§ {true, false}
§ {red, true, 2}
2
Nguyễn Thị Minh Tuyền
Miền đối
tượng
tập hợp các số nguyên.
tập hợp các màu.
tập hợp các giá trị boolean.
không phải tập hợp.
Đặc tả hình thức
Giá trị của một tập hợp
v Là tập hợp các phần tử của tập hợp.
v Hai tập A và B là bằng nhau nếu
§ Mọi phần tử của A đều là phần tử của B.
§ Mọi phần tử của B đều là phần tử của A.
§ Ký hiệu: A = B
§ Ví dụ:
• {a, b, c} = {c, b, a}
v x ∈ S nghĩa là “x là một phần tử của S”.
§ Ví dụ:
• x∈{x, y, z}
• 50∈N
3
Nguyễn Thị Minh Tuyền
Đặc tả hình thức
Giá trị của một tập hợp
v x ∉ S nghĩa là “x không phải là một phần
tử của S”.
§ Ví dụ: 10∉{1,7,20}
v Tập rỗng, ký hiệu {}
4
Nguyễn Thị Minh Tuyền
Đặc tả hình thức
Định nghĩa tập hợp[1]
v Định nghĩa tập hợp bằng cách liệt kê
§ PrimaryColors == {red, yellow, blue}
§ Boolean == {true, false}
§ Evens == {…, -4, -2, 0, 2, 4, …}
5
Nguyễn Thị Minh Tuyền