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

Danh mục TaiLieu.VN

» Từ khóa: hàm logic

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

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 359 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 241 1

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

1
2

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tin nhanh

Thư viện Trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Phường Thuận Hoá, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số