... nghiệm: Bài thu hoạch: Lập trình symbolic trí tuệ nhân tạo TÀI LIỆU THAM KHẢO PGS.TS Đỗ Văn Nhơn, Bài giảng môn Lập trình Symbolic & Trí tuệ nhân tạo Nguyễn Ngọc Trung, Giáo trình Maple, ĐHSP Tp.HCM ... Lập trình Symbolic & trí tuệ nhân tạo Xin chân thành c ảm ơn thầy cô trường Đại học Công nghệ Thông tin Tp.HCM, đặc biệt thầy Đỗ Văn Nhơn, trực tiếp giảng dạy môn Lập trình Symbolic & trí tuệ ... phương trình vô nghiệm + : phương trình có nghiệm kép x b 2a + : phương trình có nghiệm phân biệt x b b x 2a ; 2a Bài thu hoạch: Lập trình symbolic trí tuệ nhân tạo - 11...