- 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 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 290 2
Từ khóa: Tin học, Chương trình logic, logic dạng tuyển
Tìm hiểu ngôn ngữ lập trình logic dựa vào ATP và một số ứng dụng
Tổng quan về lập trình logic. Giới thiệu hệ thống ATP. Ứng dụng của ngôn ngữ lập trình logic dựa vào ATP. 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 31/03/2015 158 1
Từ khóa: Tin học, ngôn ngữ lập trình, Hệ thống ATP, Ngôn ngữ lập trình logic
Nghiên cứu ngữ nghĩa của chương trình logic với các hàm kết tập
Tìm hiểu lý luận về chương trình logic và logic bậc nhất; Ngữ nghĩa của chương trình logic với các hàm kết tập; Cú pháp và ngữ nghĩa của các chương trình kết tập phân. Trình bày việc tìm hiểu ngôn ngữ Xsb Prolog, tiến hành cài đặt và thực thi một số chương trình kết tập bằng Xsb Prolog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
5 p husc 31/03/2015 165 1
Từ khóa: Tin học, Chương trình logic, hàm kết tập
Nghiên cứu một số thuật toán suy luận trong Logic mô tả
Tìm hiểu lý luận về logic mô tả . Nghiên cứu vấn đề suy luận trong logic mô tả. Mô phỏng, cài đặt thuật toán Tableuax để suy luận và đánh giá kết quả mô phỏ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 31/03/2015 268 1
Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả
Tìm hiểu hệ chuyên gia và ứng dụng hỗ trợ xác định nguy cơ mắc bệnh béo phì
Tìm hiểu tổng quan về hệ chuyên gia, logic mờ và ứng dụng của logic mờ trong hệ chuyên gia. Nghiên cứu ứng dụng hệ chuyên gia mờ trong việc hỗ trợ chuẩn đoán bệnh béo phì. Thiết kế hệ thống, cài đặt thử nghiệm và đánh giá kết quả nghiên cứu. 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
7 p husc 31/03/2015 274 1
Từ khóa: TIn học, hệ chuyên gia, logic mờ, Ứng dụng CNTT, Chuẩn đoán bệnh, béo phì
Tìm hiểu về logic mô tả có yếu tố thời gian
Giới thiệu về logic mô tả, cú pháp, ngữ nghĩa của logic mo tả, hệ cơ sở tri thức dựa trên logic mô tả. Nghiên cứu về sự kết hợp logic thời gian với logic mô tả để có được logic mô tả có yếu tố thời gian. Mô hình hóa khái niệm thời gian với logic mô tarDL-Lite. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054...
5 p husc 31/03/2015 155 1
Từ khóa: Tin học, logic mô tả
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 186 1
Từ khóa: Tin học, Logic dạng tuyển, kỹ thuật hợp giải, logic tổng quát
Ứng dụng logic mờ trong điều khiển tự động thiết bị ô tô
Tìm hiểu lý thuyết tập mờ, logic mờ và mô hình lập luận theo mờ. Nghiên cứu mô hình điều khiển mờ các thiết bị ô tô, mô hình Tagaki-Sugeno, bộ điều khiển mờ, thiết bị PID mờ. Mô phỏng điều khiển thiết bị của ô tô sử dụng logic mờ. 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
8 p husc 27/03/2015 217 1
Từ khóa: Tin học, Tập mờ, logic mờ, điều khiển tự động, thiết bị ô tô
Biểu diễn các lược đồ ER thời gian bằng logic mô tả
Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian và giới thiệu các mô hình thời gian. Tìm hiểu logic mô tả. Mô hình hóa mô hình ER thời gian. Ứng dụng logic mô tả trong mô hình hóa mô hình Timeer. 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/03/2015 344 1
Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, Logic mô tả, Mô hình hóa mô hình ER thời gian
Nghiên cứu cách tiếp cận ngữ nghĩa của chương trình logic có ràng buộc
Nghiên cứu hai tiếp cận ngữ nghĩa thủ tục và ngữ nghĩa khai báo của chương trình logic có ràng buộc. Nghiên cứu vấn đề tối ưu hóa ngữ nghĩa của chương trình logic có ràng buộ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 27/03/2015 58 2
Từ khóa: Tin học, Chương trình logic có ràng buộc, logic có ràng buộc, Chương trình máy tính
Nghiên cứu về lập trình logic có yếu tố thời gian
Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...
5 p husc 26/03/2015 167 1
Từ khóa: Tin học, Lập trình logic, Chương trình logic
Nghiên cứu ngữ nghĩa của chương trình logic mô tả
Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quát. 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 26/03/2015 66 1
Từ khóa: Tin học, Chương trình logic, Logic mô tả
Đăng nhập
Bộ sưu tập nổi bật
Tuyển tập tác phẩm văn học hay
15 7030
17 11533
Bộ sưu tập tài liệu Toán học hay
24 7317
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.