- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả
Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447
11 p husc 04/04/2024 19 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán
Tìm hiểu ngữ nghĩa chương trình datalog dạng tuyển có tính kế thừa và ứng dụng
Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có sự kế thừa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447
11 p husc 04/04/2024 16 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Hệ thống DLV, Thực thi chương trình, Datalog dạng tuyển
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển
Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
11 p husc 10/01/2018 302 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả
Tìm hiểu chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn và ứng dụng.
Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...
4 p husc 23/10/2017 236 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.
Tìm hiểu về định giá truy vấn chương trình datalog bằng phương pháp ma tập.
Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...
5 p husc 13/10/2017 234 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.
Tìm hiểu chương trình datalog và ứng dụng phân tích chương trình C bằng sơ đồ nhị phân quyết định.
Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...
6 p husc 13/10/2017 327 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.
Tìm hiểu chương trình Datalog và ứng dụng.
Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . 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
11 p husc 27/09/2016 427 6
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.
Tìm hiểu mô hình cơ sở tri thức đa trị dựa vào chương trình datalog đa trị.
Tìm hiểu cú pháp và ngữ nghĩa của chương trình Datalog mờ, định giá truy vấn chương trình Datalog mờ. Từ chương trình Datalog mờ mở rộng thành chương trình Datalog đa trị, đi tìm cú pháp và ngữ nghĩa của chương trình Datalog đa trị. 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 01/06/2016 264 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog mờ, Datalog đa trị, Giá trị trực cảm, Giá trị khoảng, Tri thức đa trị, Thuật toán kết nối, Tri thức nền, Thuật toán hợp nhất
Tìm hiểu về chương trình Datalogfs và ứng dụng.
Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. 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 31/05/2016 254 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình
Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.
Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành chương trình Datalog$. 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 31/05/2016 288 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic
Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...
5 p husc 17/03/2016 370 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn
Nghiên cứu việc định giá chương trình Datalog trên cơ sở dữ liệu vô hạn
Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạ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
6 p husc 01/04/2015 277 1
Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạn.
Đăng nhập
Bộ sưu tập nổi bật
17 11474
Tuyển tập tác phẩm văn học hay
15 6995
Bộ sưu tập tài liệu Toán học hay
24 7265
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.