- 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
Nghiên cứu phương pháp chuyển đổi mô hình EER thành logic mô tả
Giới thiệu mô hình ER và mô hình mở rộng của mô hình này là mô hình EER. để áp dụng phương pháp chuyển đổi một lược đồ EER thành cơ sở tri thức trong logic mô tả, chúng tôi đã thực hiện việc mô hình hóa cho một mô hình EER thực tế. 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
13 p husc 10/01/2018 251 1
Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Quan hệ mở rộng, Ngôn ngữ mô tả, Logic mô tả, Mô hình EER
Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.
Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...
5 p husc 23/10/2017 270 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.
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.
Nghiên cứu lập trình logic tập trả lời và ứng dụng
Tổng quan về chương trình logic. Cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Ngữ nghĩa tập trả lời của chương trình logic dạng tuyển mở rộng và ứng dụng biểu diễn tri thứ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
5 p husc 07/04/2015 380 2
Từ khóa: Tin học, chương trình logic, lập trình logic, chương trình logic dạng tuyển mở rộng
Đăng nhập
Bộ sưu tập nổi bật
17 13597
Tuyển tập tác phẩm văn học hay
15 7856
Bộ sưu tập tài liệu Toán học hay
24 7802
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.