» Từ khóa: mo hinh mo ta

Kết quả 13-16 trong khoảng 16

Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.

Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành 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

5 p husc 31/05/2016 305 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic
Xây dựng ngôn ngữ mô tả cơ sở tri thức motor suy diễn phục vụ chứng minh bài toán hình học phổ thông

Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

2 p husc 27/11/2015 223 1

Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh
Bài giảng Địa chất thủy văn đại cương: Chương 7 - Nguồn nước

Mời các bạn tham khảo bài giảng Địa chất thủy văn đại cương: Chương 7 - Nguồn nước sau đây để nắm bắt những kiến thức về các điều kiện hình thành nguồn nước; phân loại nguồn nước; mô tả nguồn nước. Bài giảng hữu ích với những bạn chuyên ngành Thủy văn và những bạn quan tâm tới lĩnh vực này.

8 p husc 23/10/2015 249 1

Từ khóa: Địa chất thủy văn đại cương, Bài giảng Địa chất thủy văn đại cương, Điều kiện hình thành nguồn nước, Phân loại nguồn nước, Mô tả nguồn nước, Lưu lượng của nguồn nước
Biểu diễn các lược đồ ER thời gian bằng logic mô tả

Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian và giới thiệu các mô hình thời gian. Tìm hiểu logic mô tả. Mô hình hóa mô hình ER thời gian. Ứng dụng logic mô tả trong mô hình hóa mô hình Timeer. 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 27/03/2015 359 1

Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, Logic mô tả, Mô hình hóa mô hình ER thời gian