Bài giảng Đặc tả hình thức - Chương 2: Cơ sở toán học trong đặc tả hình thức cung cấp cho người học các kiến thức: Lý thuyết tập hợp, phép toán vị từ, lượng từ, luật suy diễn. Mời các bạn cùng tham khảo nội dung chi tiết.
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 CuuDuongThanCong.com https://fb.com/tailieudientucntt Nội dung Lý thuyết tập hợp Phép toán vị từ Lượng từ Luật suy diễn 4/5/2019 CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt Lý thuyết Tập hợp CuuDuongThanCong.com https://fb.com/tailieudientucntt Lý thuyết tập hợp Định nghĩa tập hợp Trong toán học, tập hợp hiệu tổng quát tụ tập số hữu hạn hay vô hạn đối tượng có tính chất Các đối tượng gọi phần tử tập hợp Trong đặc tả hình thức, định nghĩa tập hợp tập đối tượng dùng để xác định rõ đối tượng khác Các đối tượng tập hợp số, người, kí tự, ngày… 4/5/2019 CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt Lý thuyết tập hợp Tính chất 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 4/5/2019 CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt Lý thuyết tập hợp Kích thước tập hợp Tập hợp khơng giới hạn kích thước Nếu tập hợp tập hợp hữu hạn, biểu diễn tập hợp cách liệt kê phần tử tập hợp, hay nói cách khác tập hợp hữu hạn tập mà phần tử đếm Các phần tử tập hợp đặt cặp dấu “{}” hay “[]” 4/5/2019 CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt Lý thuyết tập hợp 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} 4/5/2019 CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt 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 4/5/2019 Ví dụ: {6, …,10} tương đương với {6, 7, 8, 9, 10} {i Z| ≤ z ≤ 3} = {1,2,3} {2,…,2} = {2} CuuDuongThanCong.com Prof.Dr.Vu Thanh Nguyen https://fb.com/tailieudientucntt 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