- 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 việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ
Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. 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 01/06/2016 248 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ
Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic
Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. 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 01/06/2016 261 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog
Tìm hiểu về chương trình Datalogfs và ứng dụng.
Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình 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 31/05/2016 267 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình
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 299 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
Nghiên cứu và xây dựng hệ thống tích hợp thông tin cá nhân dựa trên công nghệ Web ngữ nghĩa.
Hệ thống quản lý thông tin cá nhân theo tiếp cận Web ngữ nghĩa. Cách biểu diễn thông tin bằng RDF và OWL. Truy vấn thông tin cá nhân bằng ngôn ngữ SPARQL. 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
10 p husc 27/05/2016 239 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Mô hình dữ liệu RDF, Phân cấp lớp, Phân cấp thuộc tính, Ngôn ngữ RDF, Toán tử tập hợp, Lớp liệt kê, Lớp rời nhau, Khung ứng dụng.
Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.
Mô phỏng hai chiều và tính bất biến đối với mô phỏng hai chiều trên một lớp các logic mô tả thông qua ngôn ngữ và ngôn ngữ con. Với lớp các logic mô tả lớn hơn, các khái niệm, định nghĩa, định lý, bổ đề và hệ quả được phát triển dựa trên kết quả của Các định lý, bổ đề trong chương này cũng đã được trình bày và chứng minh một cách...
5 p husc 27/05/2016 221 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.
Tìm hiểu mô hình điều khiển mờ sử dụng đại số gia tử.
Nghiên cứu mô hình điều khiển mờ sử dụng lý thuyết tập mờ và sử dụng đại số gia tử. Mô hình điều khiển mờ sử dụng đại số gia tử theo cách tiếp cận điều chỉnh ngữ nghĩa định lượng và giải thuật di truyề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
6 p husc 27/05/2016 292 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Luật hợp thành, Mệnh đề hợp thành, Đại số gia tử, Giải thuật di truyền, Mô hình mờ, Mô hình hệ thống.
Ebook Từ điển Văn học (Bộ mới): Phần 1
Từ điển Văn học (Bộ Mới) là công trình biên soạn của 106 Giáo sư, Phó Giáo sư, Tiến sĩ, Thạc sĩ Ngữ văn thuộc nhiều Trường đại học, Viện nghiên cứu trong cả nước. Cuốn sách công cụ tra cứu cần thiết, vừa phổ cập vừa chuyên sâu, giúp các đối tượng độc giả trong và ngoài nước tìm hiểu văn học Việt Nam và văn học thế giới. Mời các...
1443 p husc 26/05/2016 455 6
Từ khóa: Từ điển Văn học, Từ điển Văn học Việt Nam, Thuật ngữ Văn học, Thuật ngữ chuyên ngành Văn học, Điển tích Văn học, Tác phẩm văn học
Ebook Từ điển Văn học (Bộ mới): Phần 2
Từ điển Văn học có 188 trang ảnh, bao quát hệ thống khái niệm, thuật ngữ, điển tích và thành tựu văn học (tác giả, tác phẩm, tổ chức) của hàng trăm dân tộc, thuộc các ngôn ngữ và các nền văn minh khác nhau của nhân loại. Mời các bạn tham khảo phần 2 cuốn sách.
929 p husc 26/05/2016 191 5
Từ khóa: Từ điển Văn học, Từ điển Văn học Việt Nam, Thuật ngữ Văn học, Thuật ngữ chuyên ngành Văn học, Điển tích Văn học, Tác phẩm văn học
Đối sánh đặc điểm ngôn ngữ tục ngữ, ca dao về tình yêu hôn nhân người Hán và người Việt.
Góp phần làm sáng tỏ những đặc điểm ngôn ngữ trong tục ngữ, ca dao người Hán và người Việt về tình yêu hôn nhân. Qua đó làm rõ mói quan hệ giữa ngôn ngữ với văn học, ngôn ngữ nói riêng và văn hóa nói chung là cơ sở để chúng ta hiểu hơn hai nền văn hóa Trung - Việt. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT:...
11 p husc 08/04/2016 292 2
Từ khóa: Ngôn ngữ học, Tục ngữ, Ca dao người Hán, Ca dao người Việt, Tình yêu hôn nhân, Ca dao về tình yêu hôn nhân
Nghệ thuật truyện ngắn Nguyễn Trí.
Nghiên cứu một cách có hệ thống truyện ngắn Nguyễn Trí để có cái nhìn toàn diện và khoa học về những đặc điểm nỗi bật trong truyện ngắn. Qua đó góp phần chỉ ra diện mạo riêng của nhà văn trong tiến trình sáng tác cũng nhưng trong thành tựu đa dạng của truyện ngắn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT:...
9 p husc 08/04/2016 302 4
Từ khóa: Văn học, Lý luận văn học, Truyện ngắn, Quan niệm nghệ thuật, Truyện ngắn Nam Bộ, Văn học miền Nam, Nghệ thuật miêu tả, Xây dựng tình huống, Ngôn ngữ nhân vật, Ngôn ngữ nghệ thuậ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 358 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
Đăng nhập
Bộ sưu tập nổi bật
17 13498
Tuyển tập tác phẩm văn học hay
15 7811
Bộ sưu tập tài liệu Toán học hay
24 7759
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.