... đắn thuậttoán cách dựa văn thuậttoán Ta xem xét cách chứng minh tính đắn số thuậttoánphần nội dung sách Một số ví dụ thuậttoán Những thuậttoán tìm kiếm Những toán xác định vị trí phần tử bảng ... a l Địnhlí số học ta thừa nhận không chứng minh: Định lý 1.2.2 (Định lí số học) Mỗi số tự nhiên lớn phântích thành tích thừa số nguyên tố phântích không kể đến thứ tự thừa số Trong phântích ... nên thuật toán: B1 Xóa bảng B2 Viết số lên bảng B3 Thực B1 Khi xây dựng thuật toán, phải chứng minh tính kết thúc cho Cụ thể nêu bật ý sau: với liệu tùy ý nằm miền thao tác thuậttoánthuật toán...