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

Danh mục TaiLieu.VN

» Từ khóa: logic học

Kết quả 73-84 trong khoảng 87

Nghiên cứu về lập trình logic có yếu tố thời gian

Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

5 p husc 26/03/2015 178 1

Từ khóa: Tin học, Lập trình logic, Chương trình logic
Nghiên cứu ngữ nghĩa của chương trình logic mô tả

Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quát. 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 26/03/2015 76 1

Từ khóa: Tin học, Chương trình logic, Logic mô tả
Nghiên cứu chương trình logic mô tả trong các bài toán suy diễn web ngữ nghĩa

Giới thiệu các kiến thức cơ sở về Web ngữ nghĩa và ontology. Vấn đề suy diễn trong web ngữ nghĩa, suy diễn trong logic mô tả và chỉ ra hạn chế trong logic mô tả và hướng khắc phụ hạn chế đó. Ứng dụng chương trình logic mô tả trong suy diễn Web ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

6 p husc 26/03/2015 198 2

Từ khóa: Tin học, Web, Logic mô tả, bài toán suy diễn, Web ngữ nghĩa
Nghiên cứu mô hình xử lý thông tin không chắc chắn bằng Datalog mờ

Nghiên cứu tổng quan về logic mờ và thông tin không chắc chắn; Tìm hiểu tổng quan về Datalog mờ. Tính toán kết quả từ tri thức không chắc chắn (mô hình xử lý thông tin không chắc chắn, tri thức nền và cơ sở tri thức mờ) 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

7 p husc 26/03/2015 151 1

Từ khóa: Tin học, logic mờ, Datalog mờ, Mô hình xử lý thông tin không chắc chắn
Nghiên cứu ngữ nghĩa và phương pháp định giá truy vấn đối với chương trình logic diễn giải có ràng buộc

Nghiên cứu cơ sở lý luận về chương trình logic diễn giải; Chương trình logic diễn giải có ràng buộc và phương pháp định giá truy vấn đối với chương trình logic diễn giải; Phương pháp định giá truy vấn đối với chương trình logic diễn giải có ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

5 p husc 25/03/2015 170 1

Từ khóa: Tin học, chương trình logic diễn giải, phương pháp định giá truy vấnchương trình logic diễn giải có ràng buộc.,
Sử dụng logic mô tả để biểu diễn truy vấn trong cơ sở dữ liệu hướng đối tượng

Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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 24/03/2015 289 1

Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn
Nghiên cứu ngữ nghĩa và phương pháp định giá truy vấn đối với chương trình logic diễn giải

Tìm hiểu chương trình logic diễn giải, logic dạng tuyển và mối quan hệ giữa ngữ nghĩa của lớp chương trình này. Nghiên cứu ngữ nghĩa và phương pháp định giá truy vấn đối với chương trình logic diễn giải và mở rộng sang lập trình logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 –...

7 p husc 24/03/2015 219 1

Từ khóa: Tin học, Chương trình logic diễn giải, Logic dạng tuyển
Đặc trưng ánh xạ mới đối với ngữ nghĩa chương trình logic và chương trình logic định lượng

Tìm hiểu và áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic và logic định lượng. Áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic định lượng dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

6 p husc 24/03/2015 68 1

Từ khóa: Tin học, Ánh xạ, Chương trình logic, Chương trình logic định lượng
Tìm hiểu về Logic mô tả và ứng dụng trong lập luận web ngữ nghĩa

Tìm hiểu về Description Logics và các cơ chế lập luận của nó. Nghiên cứu vấn đề lập luận trong Semantic Web; tìm hiểu, so sánh và đánh giá một số các bộ lập luận dựa trên Description Logics. Đánh giá hiệu quả phương pháp luận cải tiến hypertableau. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT:...

6 p husc 23/03/2015 119 1

Từ khóa: Tin học, Description Logics, Semantic Web
Nghiên cứu vấn đề ngữ nghĩa và thực thi trong lập trình logic ràng buộc

Trình bày các khái niệm cơ sở lập trình logic ràng buộc và bài toán thỏa mãn ràng buộc, tiếp cận ngữ nghĩa thủ thuật của chương trình logic có ràng buộc và một số phương pháp giải quyết ràng buộc trên miền hữu hạn. 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 20/03/2015 163 1

Từ khóa: Tin học, Lập trình logic ràng buộc,
Nghiên cứu một số phương pháp định giá câu truy vấn đối với chương trình Logic

Nghiên cứu tổng quan về các phương pháp định giá câu truy vấn đối với chương trình logic, phương pháp định giá câu truy vấn kỹ thuật lập bảng đối với chương trình logic xác định và chương trình logic tổng quát. 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 20/03/2015 199 1

Từ khóa: Tin học, phương pháp định giá câu truy vấn, chương trình logic
Nghiên cứu ngữ nghĩa của chương trình logic

Nghiên cứu về chương trình logic, dựa trên các tiếp cận ngữ nghĩa khác nhau nhằm đưa ra các nhận xét, đánh giá về các mô hình ngữ nghĩa và mối quan hệ giữa chú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

3 p husc 19/03/2015 74 1

Từ khóa: Tin học, chương trình logic

1
4
5
6
7
8

Đăng nhập

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

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

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

17 13661
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 tập Tư tưởng đạo đức Hồ Chí Minh

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

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

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

20 18867

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ố