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

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 340 2 Download

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

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

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

Tìm hiểu những kiến thức về lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...

 5 p husc 27/03/2015 235 1 Download

Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị

Tìm hiểu về chương trình Datalog dạng tuyển. Định nghĩa hình thức datalog dạng tuyển với các ràng buộc mạnh – yếu, ngữ nghĩa mô hình của chương trình Datalog dạng tuyển với các dạng tuyển mạnh và yếu. Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu được sử dụng để biểu diễn các bài toán thuộc nhiều lĩnh vực khác...

 5 p husc 27/03/2015 388 2 Download

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

Tìm hiểu các thuật toán (Naive, Semi-naive), các thuật toán cải tiến hiện có và nghiên cứu một số phương pháp để tìm ngữ nghĩa mô hình của chương trình Datalog. Nghiên cứu các phương pháp tìm ngữ nghĩa của chương trình Datalog trong các trường hợp đặc biệt - tuyến tính; phân tầng địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 6 p husc 27/03/2015 263 2 Download

Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog

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 86 2 Download

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

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

Từ khóa: Tin học, Lập trình logic, Chương trình logic

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

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 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 266 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 203 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 277 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 96 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