- 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 13 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
Bài giảng Điện tử số: Chương 5a - TS. Hoàng Văn Phúc
Bài giảng Điện tử số: Chương 5a trình bày về "Mạch logic tuần tự". Nội dung cụ thể của chương này gồm có: Định nghĩa, mô hình, các phương pháp biểu diễn, mạch tuần tự đồng bộ và không đồng bộ, mạch tuần tự dạng Mealy và dạng Moore, các phần tử nhớ.
36 p husc 27/09/2018 204 1
Từ khóa: Bài giảng Điện tử số, Điện tử số, Vô tuyến điện tử, Mạch logic tuần tự, Mạch tuần tự đồng bộ, Mạch tuần tự dạng Mealy
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển
Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
11 p husc 10/01/2018 318 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả
Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển
Trình bày cú pháp và 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 xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...
5 p husc 17/03/2016 363 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Nghiên cứu việc tích hợp ngữ nghĩa của logic mô tả và các quy tắc logic
Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...
6 p husc 16/03/2016 339 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV
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
Nghiên cứu chương trình logic dạng tuyển với các hàm kết tập và ứng dụng.
Tổng quan về chương trình logic dạng tuyển. Chương trình logic dạng tuyển với các hàm kết tập. Biểu diễn tri thức bằng chương trình DLPA. 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 04/04/2015 280 5
Từ khóa: Tin học, Logic dạng tuyển, hàm kết tập, biểu diễn tri thức
Nghiên cứu ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa
Trình bày những khái niệm cơ sở của chương trình logic dạng tuyển, ngữ nghĩa chương trình logic dạng tuyển. Trình bày cú pháp và ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa (DLP
5 p husc 01/04/2015 300 2
Từ khóa: Tin học, Chương trình logic, logic dạng tuyển
Nghiên cứu các kỹ thuật hợp giải đối với chương trình logic tổng quát
Tìm hiểu cơ sở lý luận về chương trình logic dạng tuyển mở rộng tổng quát và ngữ nghĩa của chương trình logic dạng tuyển. Nghiên cứu chương trình logic ưu tiên; Ứng dụng của chương trình logic ưu tiên đối với vấn đề lập luậ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 30/03/2015 198 1
Từ khóa: Tin học, Logic dạng tuyển, kỹ thuật hợp giải, logic tổng quát
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
Tìm hiểu chương trình logic diễn giải, logic dạng tuyển và mối quan hệ giữa ngữ nghĩa của lớp chương trình này. 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 và mở rộng sang lập trì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 216 1
Từ khóa: Tin học, Chương trình logic diễn giải, Logic dạng tuyển
Đăng nhập
Bộ sưu tập nổi bật
17 13600
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 7811
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.