Bài giảng "Đặc tả hình thức - Chương 5: Đặc tả hàm" cung cấp cho người học các kiến thức: Tổng quan về hàm, đặc tả hàm không tường minh, đặc tả hàm tường minh, đặc tả đệ quy và sử dụng hàm phụ, một số cấu trúc điều khiển. Mời các bạn cùng tham khảo. | Trường Đại học Công Nghệ Thông Tin ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 5 Đặc tả hàm . Vũ Thanh Nguyên 4 5 2019 . Vũ Thanh Nguyên 1 https tailieudientucntt Nội dung Tổng quan về hàm Đặc tả hàm không tường minh Đặc tả hàm tường minh Đặc tả đệ quy và sử dụng hàm phụ Một số cấu trúc điều khiển 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 2 Tổng Quan Về Hàm 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 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 3 Tổng Quan Về Hàm Định nghĩa hàm. Hàm có thể được định nghĩa nhờ vào các phép toán và hằng số Ví dụ Hàm định nghĩa trực tiếp tường minh của bình phương square Z N square i i i Hàm xác định giá trị tuyệt đối abs Z N abs i if i Tổng Quan Về Hàm Hàm chia hết divides N1 N B divides i j j mod i 0 Sử dụng toán tử dạng infix i divides j Hàm xác định số chẵn is-even N B is-even i 2 divides i Hàm xác định số lẻ is-odd N B is-odd i is-even i 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 5 Tổng Quan Về Hàm Hàm ước số chung của 2 số is-common-divisor N N N1 B is-common-divisor i j d d divides i d divides j Hàm xác định giá trị nhỏ hơn 3 less-than-three N B less-than-three i i Tổng Quan Về Hàm Hàm xác định số nguyên tố is-prime N B is-prime i i 1 d N1 d divides i d 1 d i hoặc có thể định nghĩa is-prime i i 1 d 2 i-1 d divides i 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 7 Các phép tổng quát trên ngôn ngữ VDM 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 8 Đặc tả .
