Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên
Một kiểu dữ liệu bao gồm:
Tập hợp các giá trị
Hệ thống các phép toán cơ sở
Dựa trên các phép toán này, ta có thể đặc tả các phép toán còn lại.
Một phép toán (có thể được gọi là 1 hàm) là một ánh xạ riêng phần
trên tập D X, D là miền xác định của f
Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên trang 1
Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên trang 2
Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên trang 3
Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên trang 4
Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_dac_ta_hinh_thuc_chuong_3_mo_hinh_hoa_du_lieu_kieu.pdf
