» Từ khóa: ham ket tap

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

Nghiên cứu mô hình Mapreduce và ứng dụng trong việc truy vấn dữ liệu XML.

Tổng quan về mô hình lập trình phân tán Mapreduce trong chương trình XML và các ngôn ngữ được sử dụng để truy vấn dữ liệu XML. 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 27/05/2016 286 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hàm Map, Hàm Reduce, Tập tin phân tán, Đường dẫn tuyệt đối, Liên kết đơn giản, Liên kết mở rộng, Định vị dữ liệu, Lọc dữ liệu, Nối dữ liệu
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 208 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 chương trình logic dạng tuyển với các hàm kết tập và ứng dụng.

Tổng quan về chương trình logic dạng tuyển. Chương trình logic dạng tuyển với các hàm kết tập. Biểu diễn tri thức bằng chương trình DLPA. 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 04/04/2015 281 5

Từ khóa: Tin học, Logic dạng tuyển, hàm kết tập, biểu diễn tri thức
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 178 1

Từ khóa: Tin học, Chương trình logic, hàm kết tập