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

Bài giảng "Đặc tả hình thức - Chương 7: Kiểu ánh xạ" cung cấp cho người học các kiến thức: Ánh xạ, các hàm và thao tác trên ánh xạ, đặc tả sử dụng ánh xạ. nội dung chi tiết. | Bài giảng Đặc tả hình thức: Chương 7 - . 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 7 Kiểu ánh xạ . Vũ Thanh Nguyên 4/5/2019 . Vu Thanh Nguyen 1 Nội dung Ánh xạ Các hàm và thao tác trên ánh xạ Đặc tả sử dụng ánh xạ 4/5/2019 . Vu Thanh Nguyen 2 Kiểu ánh xạ Ví dụ: { “TH301” ↦ “Đặc tả hình thức”, “TH402” ↦ “Công cụ và Môi trường phát triển phần mềm”, “TH403” ↦ “Xây dựng phần mềm hướng đối tượng”, } 4/5/2019 . Vu Thanh Nguyen 3 Kiểu ánh xạ Nhắc lại: Tích Descarte: A B = {(a, b) | (a A) (b B)} Ánh xạ và tích Descarte: Cho A = {a1, a2, a3, a4, }, B = {b1, b2, b3, } {(a1, b1), (a2, b2), (a3, b1), (a4, b3)} A B Khi đó, ta có ánh xạ từ A vào B sau: {a1↦ b1, a2 ↦ b2, a3 ↦ b1, a4 ↦ b3} 4/5/2019 . Vu Thanh Nguyen 4 Kiểu ánh xạ 4/5/2019 . Vu Thanh Nguyen 5 Ánh xạ Đơn ánh: Mỗi phần tử trong tập nguồn tương ứng với tối đa 1 phần tử (ảnh) trong tập đích Toàn ánh: Mỗi phần tử trong tập nguồn đều có ảnh trong tập đích Song ánh: Mỗi phần tử trong tập đích có duy nhất một tiền ảnh trong tập nguồn Tập nguồn Tập đích Ảnh Tiền ảnh 4/5/2019 . Vu Thanh Nguyen 6 Định nghĩa kiểu ánh xạ Định nghĩa kiểu ánh xạ: A m B Ví dụ 1: f:ℤ m ℤ Ví dụ 2: Acc-system:: custs: Name m Acc-no accs: Acc-no m Account Ví dụ 3: m thuộc-khoa: SINH-VIÊN KHOA Ví dụ 4: phân-công: NHÂN-VIÊN m PHÒNG-BAN 4/5/2019 . Vu Thanh Nguyen 7 Định nghĩa ánh xạ Định .