Tài liệu Thư viện số

Danh mục TaiLieu.VN

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

Kết quả 97-108 trong khoảng 110

Nghiên cứu về lập trình logic có yếu tố thời gian

Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

5 p husc 26/03/2015 193 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ở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quá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 88 1

Từ khóa: Tin học, Chương trình logic, Logic mô tả
Nghiên cứu ngữ nghĩa của chương trình Datalog mờ

Nghiên cứu cơ sở lý luận về chương trình Datalog mờ và ngữ nghĩa của chương trình Datalog mờ theo tiếp cận điểm bất động. Phương pháp định giá truy vấn đối với chương trì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 248 1

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 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 có ràng buộc

Nghiên cứu cơ sở lý luận về chương trình logic diễn giải; Chương trình logic diễn giải có ràng buộc và phương pháp định giá truy vấn đối với chương trình logic diễn giải; Phương pháp định giá truy vấn đối với chương trình logic diễn giải có rà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 184 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 phương pháp ma tập đối với chương trình Datalog và Datalog dạng tuyển

Tìm hiểu cơ sở dữ liệu suy diễn và chương trình Datalog, Datalog dạng tuyển. Nghiên cứu, ứng dụng phương pháp ma tập đối với chương trình Datalog; Phương pháp ma tập đối với chương trình Datalog dạng tuyển; Phương pháp ma tập động đối với các truy vấn đệ quy hữu hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:...

5 p husc 25/03/2015 260 1

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 xây dựng hệ tư vấn lựa chọn đầu tư chứng khoán

Nghiên cứu tổng quan về thị trường chứng khoán và hệ thống chuyên gia; Mô hình hóa hệ chuyên gia tư vấn lựa chọn đầu tư chứng khoán; Cài đặt chương trình lựa chọn đầu tư chững khoá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 87 1

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

Tìm hiểu chương trình logic diễn giải, logic dạng tuyển và mối quan hệ giữa ngữ nghĩa của lớp chương trình này. Nghiên cứu ngữ nghĩa và phương pháp định giá truy vấn đối với chương trình logic diễn giải và mở rộng sang lập trì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 235 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

Tìm hiểu và áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic và logic định lượng. Áp dụng đặc trưng ánh xạ mức đối với các tiếp cận ngữ nghĩa khác nhau của chương trình logic định lượng dạ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 77 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 phương pháp định giá chương trình datalog có chứa ràng buộc

Tìm hiểu cơ sở lý thuyết về chương trình datalog có chứa ràng buộc; định giá chương trình datalog với ràng buộc tuyến tính và ràng buộc khoảng thứ tự nguyên; chương trình datalog phủ định phân tầng với rà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 81 1

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 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ề các phương pháp định giá câu truy vấn đối với chương trình logic, phương pháp định giá câu truy vấn kỹ thuật lập bảng đối với chương trình logic xác định và chương trình logic tổng quá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 213 1

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

Tìm hiểu về chương trình Datalog. Nghiên cứu tối ưu hóa chương trình Datalog và cải tiến các thuật toán (Naive, Semi-naive); Tối ưu hóa chương trì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 98 1

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 và lite datalog lite

Nghiên cứu ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic 2 trị; một số khái niệm mở rộng logic 3 trị; trình bày Datalog LITE - ngôn ngữ truy vấn suy diễn với thuật toán kiểm định mô hình thời gian tuyến tính... nhằm đá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 111 1

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

1
6
7
8
9
10

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số