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

Tìm hiểu về chương trình Datalog. Nghiên cứu tối ưu hóa chương trình Datalog và cải tiến các thuật toán (Naive, Semi-naive); Tối ưu hó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: 054 3822440 – 054 3832447

 6 p husc 20/03/2015 130 1 Download

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

Nghiên cứu ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic 2 trị; một số khái niệm mở rộng logic 3 trị; trình bày Datalog LITE - ngôn ngữ truy vấn suy diễn với thuật toán kiểm định mô hình thời gian tuyến tính... nhằm đáp ứng tốt việc biểu diễn tri thức, truy vấn trong CSDL suy diễn. Ghi chú: Tài liệu toàn...

 3 p husc 20/03/2015 150 1 Download

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

Nghiên cứu về chương trình logic, dựa trên các tiếp cận ngữ nghĩa khác nhau nhằm đưa ra các nhận xét, đánh giá về các mô hình ngữ nghĩa và mối quan hệ giữa chú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 121 1 Download

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

Trình bày tổng quan về cơ sở dữ liệu suy diễn và chương trình Datalog; Nghiên cứu ngữ nghĩa chương trình Datalog dạng tuyển và dạng tuyển 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

 6 p husc 19/03/2015 259 1 Download

Từ khóa: Tin học, chương trình Datalog dạng tuyển