Luận văn Trang bị cơ chế suy diễn cho lập trình ký hiệu và ứng dụng trong giải toán

TRANG BỊ CƠ CHẾ SUY DIỄN CHO LẬP TRÌNH KÝ HIỆU VÀ ỨNG DỤNG TRONG GIẢI TOÁN HUỲNH VĂN BÉ Trang nhan đề Mục lục Danh mục Mở đầu Chương_1: Giới thiệu. Chương_2: Các vấn đề cơ bản của phương pháp hình thức. Chương_3: Một số phương pháp giải toán thông dụng ở chương trình học phổ thông. Chương_4: Giải bài toán tích phân bậc phổ thông - Một minh họa các cơ chế suy diễn. Chương_5: Kết luận và hướng phát triển. Phụ lục Tài liệu tham khảo