tailieunhanh - 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 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. . | Bài giảng Đặc tả hình thức: Chương 5 - . Vũ Thanh Nguyên 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 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 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 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 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