» Từ khóa: hàm logic

Kết quả 13-15 trong khoảng 15

Nghiên cứu ngữ nghĩa xác đáng của chương trình logic

Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 06/04/2015 209 2

Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập
Nghiên cứu chương trình logic dạng tuyển với các hàm kết tập và ứng dụng.

Tổng quan về chương trình logic dạng tuyển. Chương trình logic dạng tuyển với các hàm kết tập. Biểu diễn tri thức bằng chương trình DLPA. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

6 p husc 04/04/2015 282 5

Từ khóa: Tin học, Logic dạng tuyển, hàm kết tập, biểu diễn tri thức
Nghiên cứu ngữ nghĩa của chương trình logic với các hàm kết tập

Tìm hiểu lý luận về chương trình logic và logic bậc nhất; Ngữ nghĩa của chương trình logic với các hàm kết tập; Cú pháp và ngữ nghĩa của các chương trình kết tập phân. Trình bày việc tìm hiểu ngôn ngữ Xsb Prolog, tiến hành cài đặt và thực thi một số chương trình kết tập bằng Xsb Prolog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

5 p husc 31/03/2015 178 1

Từ khóa: Tin học, Chương trình logic, hàm kết tập