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

Bài giảng Đặc tả hình thức: Chương 5 Đặc tả hàm, cung cấp cho người đọc những kiến thức như: 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 TS. Vũ Thanh Nguyên 23-02-2023 TS. Vũ Thanh Nguyên 1 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 23-02-2023 TS. Vũ Thanh Nguyên 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 23-02-2023 TS. Vũ Thanh Nguyên 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 23-02-2023 TS. Vũ Thanh Nguyên 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 23-02-2023 TS. Vũ Thanh Nguyên 7 Các phép tổng quát trên ngôn ngữ VDM 23-02-2023 TS. Vũ Thanh Nguyên 8 Đặc tả hàm Ví dụ Hàm luỹ thừa có thể được xác định bằng phương pháp tường minh bằng hàm exponent_x như sau exponent_x Z N Z exponent_x x n if n 0 then 1 else x exponent_x x n-1 23-02-2023 TS. Vũ Thanh Nguyên 9 Đặc tả hàm Ví dụ Hàm luỹ thừa củng có thể được xác định bằng phương pháp không tường minh như sau EXPONENT x Z n N y Z pre true

Không thể tạo bản xem trước, hãy bấm tải xuống
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.