Xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động

Toán học là môn khoa học nghiên cứu về các số, cấu trúc, không gian và các phép biến đổi. Nói một cách khác, người ta cho rằng đó là môn học về "hình và số." Theo quan điểm chính thống, nó là môn học nghiên cứu về các cấu trúc trừu tượng định nghĩa từ các tiên đề, bằng cách sử dụng Luận lý học (lôgic) và ký hiệu toán học. Các quan điểm khác của nó được miêu tả trong Triết học toán. Do khả năng ứng dụng rộng rãi trong nhiều khoa học, toán học được mệnh danh là "ngôn ngữ của vũ trụ". Chuyên gia trong lĩnh vực toán học được gọi là nhà toán học.