tailieunhanh - Bài giảng Đặc tả hình thức: Chương 2 - PGS.TS. Vũ Thanh Nguyên

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. | 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 trong Đặc tả Hình thức Giảng viên . Vũ Thanh Nguyên 1 https 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 Thanh Nguyen https tailieudientucntt 2 Lý thuyết Tập hợp 3 https tailieudientucntt Lý thuyết tập hợp Định nghĩa tập hợp Trong toán học tập hợp có thể hiệu tổng quát là sự tụ tập của một số hữu hạn hay vô hạn các đối tượng nào đó có cùng tính chất. Các đối tượng này được gọi là các phần tử của tập hợp Trong đặc tả hình thức chúng ta còn có thể định nghĩa tập hợp là tập các đối tượng dùng để xác định rõ các đối tượng khác. Các đối tượng trong tập hợp có thể là số con người kí tự ngày 4 5 2019 Thanh Nguyen https tailieudientucntt 4 Lý thuyết tập hợp Tính chất của Tập hợp Các phần tử trong tập hợp không có thứ tự Không có phần tử trùng nhau Các phần tử có cùng kiểu dữ liệu 4 5 2019 Thanh Nguyen https tailieudientucntt 5 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 đó là tập hợp hữu hạn thì chúng ta có thể biểu diễn tập hợp đó bằng cách liệt kê các phần tử trong tập hợp hay nói cách khác tập hợp hữu hạn là tập mà các phần tử có thể đếm được. Các phần tử trong tập hợp được đặt trong cặp dấu hay . 4 5 2019 Thanh Nguyen https tailieudientucntt 6 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 Thanh Nguyen https tailieudientucntt 7 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 1 z 3 1 2 3 2 2 2 4 5 2019 Thanh Nguyen https .