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

Danh mục TaiLieu.VN

» Từ khóa: logic phan tang

Kết quả 1-2 trong khoảng 2

Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. 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 01/06/2016 265 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog
Nghiên cứu ngữ nghĩa của chương trình logic mô tả xác suất

Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầng. 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 220 1

Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng

Đăng nhập

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

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

Tuyển chọn tài liệu môi trường hay

13 7295
Bộ sưu tập tài liệu hay về Công nghệ Kiến...

20 18866
Bộ sưu tập tài liệu Lập trình

17 13661
Tuyển tập tác phẩm văn học hay

15 7884
Bộ sưu tập tài liệu Toán học hay

24 7849
Tuyển chọn ebook Huyền thoại Việt Nam

16 6869
Tuyển tập Tư tưởng đạo đức Hồ Chí Minh

16 7700

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, 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ố