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

Kết quả 193-201 trong khoảng 201

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 253 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 89 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 89 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 231 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 108 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 121 1

Từ khóa: Tin học, chương trình datalog
Nghiên cứu ngữ nghĩa của chương trình logic

Nghiên cứu về chương trình logic, dựa trên các tiếp cận ngữ nghĩa khác nhau nhằm đưa ra các nhận xét, đánh giá về các mô hình ngữ nghĩa và mối quan hệ giữa chú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 98 1

Từ khóa: Tin học, chương trình logic
Nghiên cứu ngữ nghĩa của chương trình Datalog dạng tuyển

Trình bày tổng quan về cơ sở dữ liệu suy diễn và chương trình Datalog; Nghiên cứu ngữ nghĩa chương trình Datalog dạng tuyển và dạng tuyển có rà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 235 1

Từ khóa: Tin học, chương trình Datalog dạng tuyển
Chương trình đào tạo nghề khoan thăm dò địa chất

Tên nghề: Khoan thăm dò địa chất Mã nghề: 40521801 Trình độ đào tạo: Trung cấp nghề. Đối tượng tuyển sinh: Tốt nghiệp Trung học phổ thông và tương đương. ( Tốt nghiệp Trung học cơ sở thì học thêm phần văn hoá phổ thông theo quy định của Bộ Giáo dục và đào tạo) Số lượng môn học đào tạo: 38 Bằng cấp sau khi tốt nghiệp: Bằng tốt...

205 p husc 01/10/2013 1662 3

Từ khóa: chương trình trung cấp, trung cấp nghề khoan, khoan thăm dò địa chất, thăm dò khoáng sản, trung cấp địa chất, công nghiệp địa chất