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

Nghiên cứu cơ sở lý luận về chương trình Datalog mờ và ngữ nghĩa của chương trình Datalog mờ theo tiếp cận điểm bất động. Phương pháp định giá truy vấn đối với chương trình Datalog 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

 5 p husc 26/03/2015 230 1 Download

Từ khóa: Tin học, Chương trình Datalog mờ, Phương pháp định giá truy vấn

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 170 1 Download

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.,

Tìm hiểu cơ sở dữ liệu suy diễn và chương trình Datalog, Datalog dạng tuyển. Nghiên cứu, ứng dụng phương pháp ma tập đối với chương trình Datalog; Phương pháp ma tập đối với chương trình Datalog dạng tuyển; Phương pháp ma tập động đối với các truy vấn đệ quy hữu hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:...

 5 p husc 25/03/2015 245 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu suy diễn, Chương trình Datalog, Datalog dạng tuyển, Phương pháp ma tập

Nghiên cứu tổng quan về thị trường chứng khoán và hệ thống chuyên gia; Mô hình hóa hệ chuyên gia tư vấn lựa chọn đầu tư chứng khoán; Cài đặt chương trình lựa chọn đầu tư chững khoá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

 7 p husc 24/03/2015 76 1 Download

Từ khóa: Tin học, Thị trường chứng khoán, Chương trình lựa chọn đầu tư chứng khoán

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 219 1 Download

Từ khóa: Tin học, Chương trình logic diễn giải, Logic dạng tuyển

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 68 1 Download

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 cơ sở lý thuyết về chương trình datalog có chứa ràng buộc; định giá chương trình datalog với ràng buộc tuyến tính và ràng buộc khoảng thứ tự nguyên; chương trình datalog phủ định phân tầng với ràng buộc thư tự nguyê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 23/03/2015 72 1 Download

Từ khóa: Tin học, Chương trình datalog, Phương pháp định giá chương trình datalog

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 199 1 Download

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

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 85 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 102 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 74 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 202 1 Download

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