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

Danh mục TaiLieu.VN

» Từ khóa: bien dich he thong

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

Tìm hiểu ngôn ngữ AnsProlog * và ứng dụng.

Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...

5 p husc 23/10/2017 266 1

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.
Tìm hiểu ngữ nghĩa chương trình Logic mở rộng và ứng dụng.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

10 p husc 27/09/2016 322 2

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.

Đă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 tập tác phẩm văn học hay

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

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

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

20 18866
Tuyển chọn ebook Huyền thoại Việt Nam

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

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

13 7294

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ố