Sách (eBooks)Authors: Nguyễn, Đình Hiển; Hồ, Long Vân; Nguyễn, Thị Ngọc Diễm (2013)
Lập trình symbolic là ngành khoa học nghiên cứu và phát triển các giải thuật và chương trình máy tính thực hiện trên các biểu thức toán học và các đối tượng toán học. Lập trình symbolic giúp chúng ta có thể tiếp cận dễ dàng hơn cho việc lập trình với các đối tượng tính toán trừu tượng trong các hệ thống phức tạp. Bên cạnh đó, trí tuệ nhân tạo cũng là một ngành khoa học phát triển trong lĩnh vực khoa học máy tính, ngành này đã mang đến nhiều ứng dụng thực tiễn trong đời sống.
Lập trình symbolic trong trí tuệ nhân tạo là môn học mang đến cho sinh viên một phương thức lập trình mới, và giúp cho sinh viên có thể tiếp cận sâu hơn các vấn đề trong lĩnh vực trí tuệ nhân tạo. Hiện nay, có rất nhiều công cụ để phục vụ cho việc lập trình symbolic như: Maple, Mathematica, Matlab, … Tuy nhiên,...