Tài liệu Thư viện số

Danh mục TaiLieu.VN

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: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

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

5 p thuha 31/03/2015 164 1

Bình luận