... Kết thúc: bị bế tắc Bươc 4: Trở lại bước Sau đọc xong thuật giải suy diễn tiến, bạn tự xây dựng chương trình giải toán đơn giản, ví dụ giải toán hình học hệ luật dẫn tam giác VD: Nhập giả thiết: ... giác ) - C,a,b->S (luật C,a,b->S dựa theo công thức S=1/2abSinC) -> từ a,b,A ta suy S II/ Thuật giải suy diễn tiến: Bước 1: Ghi nhận tập kiện ban đầu A=giả thiết mục tiêu B Bước 2: Tìm luật dẫn ... giải số toán Đây cấu trúc file liệu đề nghị: - Dòng 1: Chứa tập kiện tam giác a b c A B C hb hc p r R S - K dòng chứa luật dẫn thích : ÂB -> C (C=180-B-A) C,a,b->S (S=1/2abSinC) … Đây thuật giải...