- 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 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 281 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.
Tổng quan về Phân công lao động theo giới trong gia đình làng biển Thai Dương Hạ, thị trấn Thuận An, huyện Phú Vang, tỉnh Thừa Thiên Huế; Nghiên cứu vấn đề phân công lao động theo giới trong gia đình ở làng biển Thai Dương Hạ; Định hướng và giải pháp cho vấn đề bình đẳng giới trong gia đình ở địa bàn nghiên cứu. Ghi...
14 p husc 27/03/2015 184 1
Từ khóa: Dân tộc học, lao động, giới tính, Thừa Thiên Huế, gia đình làng biển
Nghiên cứu ngữ nghĩa của chương trình Datalog mờ
Nghiên cứu cơ sở lý luận về chương trình Datalog mờ và ngữ nghĩa của chương trình Datalog mờ theo tiếp cận điểm bất động. Phương pháp định giá truy vấn đối với chương trình Datalog 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
5 p husc 26/03/2015 217 1
Từ khóa: Tin học, Chương trình Datalog mờ, Phương pháp định giá truy vấn
Nghiên cứu cơ sở lý luận về chương trình logic diễn giải; Chương trình logic diễn giải có ràng buộc và phương pháp định giá truy vấn đối với chương trình logic diễn giải; Phương pháp định giá truy vấn đối với chương trình logic diễn giải có ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
5 p husc 25/03/2015 155 1
Từ khóa: Tin học, chương trình logic diễn giải, phương pháp định giá truy vấnchương trình logic diễn giải có ràng buộc.,
Nghiên cứu phương pháp định giá chương trình datalog có chứa ràng buộc
Tìm hiểu cơ sở lý thuyết về chương trình datalog có chứa ràng buộc; định giá chương trình datalog với ràng buộc tuyến tính và ràng buộc khoảng thứ tự nguyên; chương trình datalog phủ định phân tầng với ràng buộc thư tự nguyê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 23/03/2015 61 1
Từ khóa: Tin học, Chương trình datalog, Phương pháp định giá chương trình datalog
Nghiên cứu một số phương pháp định giá câu truy vấn đối với chương trình Logic
Nghiên cứu tổng quan về các phương pháp định giá câu truy vấn đối với chương trình logic, phương pháp định giá câu truy vấn kỹ thuật lập bảng đối với chương trình logic xác định và 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 20/03/2015 186 1
Từ khóa: Tin học, phương pháp định giá câu truy vấn, chương trình logic
Giáo trình Văn học trẻ em: Phần 2 - NXB Giáo Dục
Tiếp nối phần 1, Phần 2 của cuốn giáo trình Văn học trẻ em do NXB Giáo dục ấn hành có nội dung giới thiệu đến người học kiến thức về văn học trẻ em nước ngoài với những tác giả tiêu biểu như: Tago, Tônxtôi, Anđecxen, Hecto Malo với tiểu thuyết không gia đình. Cuối bài học có phần tự học giúp người học khái quát lại các kiến thức đã học...
22 p husc 18/06/2014 276 4
Từ khóa: Giáo trình Văn học trẻ em, Văn học trẻ em nước ngoài, Tiểu thuyết không gia đình, Văn học thiếu nhi, Tác phẩm văn học, Tác giả văn học nước ngoài
Đăng nhập
Bộ sưu tập nổi bật
17 11799
Bộ sưu tập tài liệu Toán học hay
24 7366
Tuyển tập tác phẩm văn học hay
15 7058
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.