Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên
Hàm là một khái niệm trừu tượng toán học: là ánh xạ giữa hai tập giá trị.
function_name: domain → range, ở đó
function_name: tên của hàm
domain: miền xác định của tập giá trị mà ở đó hàm có thể ứng dụng
range: phạm vi xác định của tập giá trị mà ở đó hàm chứa
đựng kết quả của ứng dụng hàm.
giữa domain và range cách nhau bằng →
Nếu miền xác định có từ 2 giá trị trở lên, cần dùng dấu
gcd: N1xN1 → N1
Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên trang 1
Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên trang 2
Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên trang 3
Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên trang 4
Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_dac_ta_hinh_thuc_chuong_5_dac_ta_ham_vu_thanh_nguy.pdf
