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 PGS.TS Vũ Thanh Nguyên 4/5/2019 CuuDuongThanCong.com https://fb.com/tailieudientucntt Nội dung Tổng quan hàm Đặc tả hàm không tường minh Đặc tả hàm tường minh Đặc tả đệ quy 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 Tổng Quan Về Hàm Hàm khái niệm trừu tượng toán học: ánh xạ hai tập giá trị function_name: domain → range, function_name: tên hàm domain: miền xác định tập giá trị mà hàm ứng dụng range: phạm vi xác định tập giá trị mà hàm chứa đựng kết ứng dụng hàm domain range cách → Nếu miền xác định có từ 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 Tổng Quan Về Hàm Định nghĩa hàm Hàm định nghĩa nhờ vào phép toán số Ví dụ: Hàm định nghĩa trực tiếp (tường minh) 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