mục lục lời nói đầu những năm gần đây, chúng ta đã chứng kiến sự phát triển như vũ bão của công nghệ thông tin. mỗi ngày có rất nhiều người trên thế giới vào internet tìm kiếm, xem thông tin trên mạng. internet dần dần thay thế mọi phương tiện liên lạc của con người với thế giới bên ngoài. điều đó lại khiến cho các nhà kinh doanh dịch vụ internet tạo ra các kho dữ liệu khổng lồ. khi dữ liệu càng lớn thì vấn đề tìm kiếm một thông tin nào đó lại càng trở trên khó khăn, đòi hỏi chúng ta phải biết cách vận dụng các thuật toán tìm kiếm để tìm kiếm nhanh nhất những thông tin mà mình muốn tìm. để chứng minh một bài toán hay một vấn đề nào đó thì ta phải sử dụng các tiên đề và các luật suy diễn để tìm ra điều phải chứng...