Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển

Tổng quan về Datalog dạng tuyển (Khái niệm cơ sở; chương trình Datalog; chương trình Datalog dạng tuyển). Giới thiệu về logic mô tả; Logic mô tả Shoin (D); cú pháp, ngữ nghĩa của logic mô tả. Nghiên cứu cú pháp, ngữ nghĩa chương trình Datalog mô tả dạng tuyển; những bài toán ứng dụng.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ
Email: thuviendhkh@gmail.com
ĐT: 02343. 822440 - 02343. 832447

Từ khóa: Công nghệ thông tin, Datalog dạng tuyển, Chương trình datalog, Bài toán ứng dụng