Đang chuẩn bị liên kết để tải về tài liệu:
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. 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 PGS.TS. Vũ Thanh Nguyên 4 5 2019 PGS.TS. Vũ Thanh Nguyên 1 CuuDuongThanCong.com https fb.com 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https fb.com 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https fb.com 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https fb.com 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https fb.com tailieudientucntt 7 Các phép tổng quát trên ngôn ngữ VDM 4 5 2019 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https fb.com tailieudientucntt 8 Đặc tả .