- 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
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 205 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
Nghiên cứu ngữ nghĩa xác đáng của chương trình logic
Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. 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 194 2
Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập
Nghiên cứu các kỹ thuật hợp giải đối với chương trình logic tổng quát
Nghiên cứu cơ sở lý luận về chương trình logic tổng quát; Ngữ nghĩa và phép hợp giải SLDNF; Các kỹ thuật hợp giải (SLG, SLT) được sử dụng trong các hệ thống trả lời truy vấn đối với chương trình logic tổng quá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 01/04/2015 214 1
Từ khóa: Tin học, logic tổng quát, kỹ thuật hợp giải, chương trình logic tổng quát
Nghiên cứu ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa
Trình bày những khái niệm cơ sở của chương trình logic dạng tuyển, ngữ nghĩa chương trình logic dạng tuyển. Trình bày cú pháp và ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa (DLP
5 p husc 01/04/2015 289 2
Từ khóa: Tin học, Chương trình logic, logic dạng tuyển
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 164 1
Từ khóa: Tin học, Chương trình logic, hàm kết tập
Nghiên cứu cách tiếp cận ngữ nghĩa của chương trình logic có ràng buộc
Nghiên cứu hai tiếp cận ngữ nghĩa thủ tục và ngữ nghĩa khai báo của chương trình logic có ràng buộc. Nghiên cứu vấn đề tối ưu hóa ngữ nghĩa của chương trình logic có ràng buộ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 27/03/2015 58 2
Từ khóa: Tin học, Chương trình logic có ràng buộc, logic có ràng buộc, Chương trình máy tính
Nghiên cứu về lập trình logic có yếu tố thời gian
Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...
5 p husc 26/03/2015 167 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ở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quá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 66 1
Từ khóa: Tin học, Chương trình logic, Logic mô tả
Nghiên cứu cơ sở lý luận về chương trình logic diễn giải; Chương trình logic diễn giải có ràng buộc và phương pháp định giá truy vấn đối với chương trình logic diễn giải; 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. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
5 p husc 25/03/2015 152 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.,
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
Tìm hiểu chương trình logic diễn giải, logic dạng tuyển và mối quan hệ giữa ngữ nghĩa của lớp chương trình này. 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 và mở rộng sang lập trì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 203 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
Tìm hiểu và áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic và logic định lượng. Áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic định lượng dạ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 59 1
Từ khóa: Tin học, Ánh xạ, Chương trình logic, Chương trình logic định lượng
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ề các phương pháp định giá câu truy vấn đối với chương trình logic, phương pháp định giá câu truy vấn kỹ thuật lập bảng đối với chương trình logic xác định và chương trình logic tổng quá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 185 1
Từ khóa: Tin học, phương pháp định giá câu truy vấn, chương trình logic
Đăng nhập
Bộ sưu tập nổi bật
17 11479
Bộ sưu tập tài liệu Toán học hay
24 7274
Tuyển tập tác phẩm văn học hay
15 7001
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.