Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên
Á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
Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên trang 1

Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên trang 2

Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên trang 3

Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên trang 4

Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên trang 5

Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_dac_ta_hinh_thuc_chuong_7_kieu_anh_xa_vu_thanh_ngu.pdf