- 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 xác đáng của chương trình logic
Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. 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 06/04/2015 209 2
Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập
Giới thiệu khái quát về cơ sở dữ liệu thời gian. Thiết kế cơ sở dữ liệu cho chương trình quản lý thời gian giao tác các thiết bị điện. Thiết kế và cài đặt chương trình quản lý thời gian giao tác của các thiết bị điệ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 06/04/2015 308 1
Từ khóa: Tin học, Cơ sở dữ liệu thời gian, chương trình quản lý thời gian, giao tác các thiết bị điện
Nghiên cứu việc định giá chương trình Datalog trên cơ sở dữ liệu vô hạn
Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạ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 01/04/2015 292 1
Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạ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
Nghiên cứu cơ sở lý luận về chương trình logic tổng quát; Ngữ nghĩa và phép hợp giải SLDNF; Các kỹ thuật hợp giải (SLG, SLT) được sử dụng trong các hệ thống trả lời truy vấn đối với chương trình logic 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 01/04/2015 231 1
Từ khóa: Tin học, logic tổng quát, kỹ thuật hợp giải, chương trình logic tổng quát
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 303 2
Từ khóa: Tin học, Chương trình logic, logic dạng tuyển
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 179 1
Từ khóa: Tin học, Chương trình logic, hàm kết tập
Tìm hiểu kiểm thử đơn vị cho chương trình tương tranh
Tìm hiểu những kiến thức về lập trình tương tranh, kiểm thử phần mềm, kiểm thử đơn vị và giới thiệu một số công cụ kiểm thử mã nguồn mở vận dụng để kiểm thử mức đơn vị. Trình bày các vấn đề trong việc tiến hành kiểm thử đơn vị cho chương trình tương tranh và giải pháp tương ứng vấn đề. Ghi chú: Tài liệu toàn văn liên hệ theo...
5 p husc 27/03/2015 201 1
Từ khóa: Tin học, Chương trình tương tranh, Lập trình tương tranh, Kiểm thử phần mềm, Kiểm thử đơn vị
Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu
Tìm hiểu về chương trình Datalog dạng tuyển. Định nghĩa hình thức datalog dạng tuyển với các ràng buộc mạnh – yếu, ngữ nghĩa mô hình của chương trình Datalog dạng tuyển với các dạng tuyển mạnh và yếu. Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu được sử dụng để biểu diễn các bài toán thuộc nhiều lĩnh vực khác...
5 p husc 27/03/2015 353 2
Từ khóa: Tin học, chương trình Datalog, Datalog dạng tuyển
Nghiên cứu một số phương pháp xác định ngữ nghĩa của chương trình Datalog
Tìm hiểu các thuật toán (Naive, Semi-naive), các thuật toán cải tiến hiện có và nghiên cứu một số phương pháp để tìm ngữ nghĩa mô hình của chương trình Datalog. Nghiên cứu các phương pháp tìm ngữ nghĩa của chương trình Datalog trong các trường hợp đặc biệt - tuyến tính; phân tầng địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
6 p husc 27/03/2015 236 2
Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog
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 68 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 178 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 76 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
Bộ sưu tập tài liệu Toán học hay
24 7850
Tuyển tập tác phẩm văn học hay
15 7888
17 13661
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.