- 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 chương trình datalog và ứng dụng phân tích chương trình C bằng sơ đồ nhị phân quyết định.
Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của 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: 02343. 822440 -...
6 p husc 13/10/2017 348 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.
Ebook Toán rời rạc cho kỹ thuật số: Phần 1
Phần 1 cuốn sách "Toán rời rạc cho kỹ thuật số" trình bày các nội dung: Tập hợp và mệnh đề, chỉnh hợp và tổ hợp, quan hệ và hàm số, đồ thị và cây, đại số chuyển mạch vectơ và hàm chuyển mạch vectơ. Mời các bạn cùng tham khảo nội dung chi tiết.
145 p husc 19/08/2016 269 3
Từ khóa: Toán rời rạc, Toán rời rạc cho kỹ thuật số, Tập hợp và mệnh đề, Chỉnh hợp và tổ hợp, Quan hệ và hàm số, Đồ thị và cây, Đại số chuyển mạch vectơ
Sự biến đổi quan hệ sản xuất trong nền kinh tế thị trường ở Phú Thọ
Nghiên cứu quan điểm của chủ nghĩa Mác - Lênin về quan hệ sản xuất, và tính tất yếu của việc biến đổi quan hệ sản xuất; sự biến đổi quan hệ sản xuất trong nền kinh tế thị trường định hướng xã hội chủ nghĩa ở tỉnh Phú Thọ. Đưa ra một số giải pháp cho sự phát triển quan hệ sản xuất ở địa phương Phú Thọ. Ghi chú: Tài liệu toàn...
10 p husc 21/06/2016 281 1
Từ khóa: Triết học, Quan hệ sản xuất, Lực lượng sản xuất, Công nghiệp hóa, Hiện đại hóa, Quan hệ sỡ hữu, Phân phối sản phẩm, Tổ chức quản lý, Tư liệu sản xuất, Người lao động
Ứng dụng phương pháp quy hoạch động trong tối ưu hóa truy vấn trên cơ sở dữ liệu phân tán
Nghiên cứu các thuật toán thực hiện trên phép nối của cơ sở dữ liệu quan hệ, tối ưu hóa truy vấn trên cơ sở dữ liệu quan hệ, các thuật toán thực hiện tối ưu hóa truy vấn trên cơ sở dữ liệu tập trung..., phương pháp quy hoạch động và các kỹ thuật tối ưu hóa truy vấn trên cơ sở dữ liệu phân tán. Ghi chú: Tài liệu toàn văn liên hệ theo...
5 p husc 20/06/2016 291 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tối ưu hóa truy vấn, Đồ thị truy vấn, Truy vấn bằng heuristic, Đại số quan hệ, Phép nối, Thuật toán IDP1, Cây phép nối, Phép nối sâu
Nghiên cứu việc xử lý các phép nối trên cơ sở dữ liệu thời gian
Nghiên cứu việc xử lý các phép nối trên cơ sở dữ liệu thời gian để có thể kết hợp được vào các Database management system (DBMS) thương mại. 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 17/03/2016 251 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu quan hệ, Cây truy vấn, Thuật toán phép nối, Phép toán đại số, Phép nối tự nhiên, Thuật toán tường minh, Minh họa thuật toán
Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...
5 p husc 17/03/2016 390 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn
Bài giảng Hệ thống thông tin địa lý - Chương 5: Ứng dụng Mapinfo trong quản lý thông tin đại lý
Bài giảng "Hệ thống thông tin địa lý - Chương 5: Ứng dụng Mapinfo trong quản lý thông tin đại lý" cung cấp các kiến thức giúp người học có thể hiểu các thành phần cơ bản của MapInfo; xây dựng cơ sở dữ liệu bản đồ, khả năng cập nhật và làm mới cơ sở dữ liệu và những kỹ năng hiển thị các đối tượng địa lý trên bản đồ. Mời các...
71 p husc 26/02/2016 292 3
Từ khóa: Hệ thống thông tin địa lý, Ứng dụng Mapinfo, Quản lý thông tin đại lý, Xây dựng cơ sở dữ liệu bản đồ, Cơ sở dữ liệu bản đồ, Làm mới cơ sở dữ liệu
Bài giảng Cơ sở dữ liệu: Đại số quan hệ - Trần Ngọc Bảo
Đại số quan hệ là ngôn ngữ biểu diễn câu truy vấn về các quan hệ. Trong bài giảng "Cơ sở dữ liệu: Đại số quan hệ" sau đây sẽ giới thiệu về đại số quan hệ, các phép toán quan hệ và một số phép toán khác. Mời các bạn cùng tham khảo.
37 p husc 23/11/2015 299 2
Từ khóa: Đại số quan hệ, Cơ sở dữ liệu, Bài giảng Cơ sở dữ liệu, Phép toán quan hệ, Ngôn ngữ cơ sở dữ liệu, Phép chiếu mở rộng
Bài giảng Tin học ứng dụng: Phần 2 - ĐH Nha Trang
Bài giảng Tin học ứng dụng: Phần 2 có nội dung trình bày về hệ quản trị cơ sở dữ liệu Microsoft Access. Phần này gồm 6 chương, trình bày các nội dung như giới thiệu về hệ quản trị cơ sở dữ liệu Microsoft Access, bảng, truy vấn, biểu mẫu, báo cáo và bài tập thực hành.
89 p husc 05/07/2014 325 3
Từ khóa: Bài giảng Tin học ứng dụng, Tin học ứng dụng Phần 2, Cơ sở dữ liệu, Mô hình dữ liệu quan hệ, Đại số quan hệ, Hệ quản trị cơ sở dữ liệu
Bài giảng Tin học ứng dụng: Phần 1 - ĐH Nha Trang
Bài giảng Tin học ứng dụng: Phần 1 gồm nội dung 3 chương đầu tài liệu. Nội dung phần này trình bày tổng quan về cơ sở dữ liệu, mô hình dữ liệu quan hệ, đại số quan hệ. Mời bạn đọc tham khảo nội dung phần 1 tài liệu.
40 p husc 05/07/2014 427 3
Từ khóa: Bài giảng Tin học ứng dụng, Tin học ứng dụng Phần 1, Cơ sở dữ liệu, Mô hình dữ liệu quan hệ, Đại số quan hệ, Hệ quản trị cơ sở dữ liệu
Đă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 7849
Tuyển tập tác phẩm văn học hay
15 7884
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.