- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Tìm hiểu ngữ nghĩa chương trình Datalog dạng tuyển và ứng dụng để biểu diễn tri thức
Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyển. 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
11 p husc 06/05/2024 12 0
Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu
Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả
Nghiên cứu cú pháp, ngữ nghĩa đối với lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phân tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, N. Lớp các logic này bao phủ những logic mô tả...
9 p husc 31/10/2018 299 1
Từ khóa: Khoa học máy tính, Logic mô tả, Ngôn ngữ logic, Mô tả ALC, Thuật toán suy luận, Mô phỏng hai chiều, Quan hệ tương đương, Hệ thống thông tin
Bài giảng Toán cao cấp: Cơ sở toán học - ThS. Nguyễn Văn Phong
Bài giảng Toán cao cấp: Cơ sở toán học" cung cấp cho người học một số khái niệm về logic và tập hợp, các phép toán logic, tương đương logic, hệ quả logic, quan hệ giữa các tập hợp, các phép toán trên tập hợp. Mời các bạn cùng tham khảo nội dung chi tiết.
28 p husc 31/05/2017 567 8
Từ khóa: Bài giảng Toán cao cấp, Toán cao cấp, Cơ sở toán học tài chính, Phép toán logic, Tương đương logic, Hệ quả logic, Quan hệ giữa các tập hợp
Tìm hiểu ngữ nghĩa mô hình bền vững của chương trình logic dựa trên logic 3 trị.
Trình bày ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương, ngữ nghĩa mô hình hoàn hảo của chương trình logic dạng tuyển phân tầng và ngữ nghĩa mô hình bền vững mở rộng của chương trình logic dạng tuyển. 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
11 p husc 26/09/2016 219 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dương, Logic thông thường, Mô hình bền vững, Mô hình cực tiểu, Mô hình hoàn hảo, Vững tuyển mở rộng.
Đăng nhập
Bộ sưu tập nổi bật
17 13597
Bộ sưu tập tài liệu Toán học hay
24 7802
Tuyển tập tác phẩm văn học hay
15 7856
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.