Bài giảng đặc tả hình thức chương 2 pgs ts vũ thanh nguyên

Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 2: Cơ sở Toán học Đặc tả Hình thức Giảng viên: PGS.TS Vũ Thanh Nguyên Nội dung  Lý thuyết tập hợp  Phép toán vị từ  Lượng từ  Luật suy diễn Lý thuyết Tập hợp Lý thuyết tập hợp  Tập hợp  Các phần tử tập hợp khơng có thứ tự  Khơng có phần tử trùng  Các phần tử có kiểu liệu  Xác định tập hợp dạng tường minh  Ví dụ: {1, 3, 5} {1, 5, 3} {3, 5, 1} {3, 1, 5} {5, 3, 1} {5, 1, 3}  Ví dụ: {6, …,10} tương đương với {6, 7, 8, 9, 10} Lý thuyết tập hợp  Xác định tập hợp dạng tường minh  {1, 3, 5} = {1, 5, 3} = {3, 5, 1} = {3, 1, 5} = {5, 3, 1} = ={5, 1, 3}  {a} ≠ a    Ví dụ: {6, …,10} tương đương với {6, 7, 8, 9, 10} {iZ| ≤ z ≤ 3} = {1,2,3} {2,…,2} = {2} Lý thuyết tập hợp  Thuộc tập hợp:  Ví dụ:   {1, 3, 5}  Không thuộc tập hợp:  Ví dụ:  {1, 3, 5}  Tập rỗng, ký hiệu {}  Lưu ý: j