- 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
Bài giảng Giải tích 2: Chương 3 - Đại học Bách khoa Hà Nội
Bài giảng Giải tích 2: Chương 3 trình bày về tích phân phụ thuộc tham số, bao gồm tích phân xác định, suy rộng, hàm Gamma và Beta.
100 p husc 25/09/2025 36 0
Từ khóa: Bài giảng, Toán giải tích, Giải tích 2, Tích phân phụ thuộc tham số, Tích phân xác định, Hàm số liên tục
Bài giảng Hệ cơ sở dữ liệu: Chương 5.2 - TS. Lê Thị Tú Kiên
Bài giảng Hệ cơ sở dữ liệu: Chương 5.2 cung cấp cho người học những kiến thức như: Các phép tách lược đồ quan hệ; Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ; Định nghĩa phép tách lược đồ quan hệ; Phép tách kết nối không tổn thất về BCNF; Phép tách bảo toàn phụ thuộc về 3NF. Mời các bạn cùng tham khảo!
75 p husc 23/12/2023 103 0
Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Phép tách lược đồ quan hệ, Mô hình quan hệ, Phép tách bảo toàn tập phụ thuộc hàm
Bài giảng Giải tích hàm nhiều biến - Chương 5: Tích phân đường
Bài giảng "Giải tích hàm nhiều biến - Chương 5: Tích phân đường" cung cấp cho người học các kiến thức: Tích phân đường loại 1, tích phân đường loại hai; định nghĩa, cách tính; công thức Green; tích phân không phụ thuộc đường đi. Mời các bạn cùng tham khảo nội dung chi tiết.
45 p husc 29/06/2020 226 1
Từ khóa: Giải tích hàm nhiều biến, Bài giảng Giải tích hàm nhiều biến, Công thức Green, Tích phân đường, Tích phân đường loại hai, Tích phân không phụ thuộc đường đi
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 433 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.
Nghiên cứu và giới thiệu các ràng buộc dữ liệu trong mô hình quan hệ; mô hình ER và mô hình mở rộng của mô hình ER là mô hình EER. Trình bày phương pháp trích xuất một mô hình EER từ mô hình quan hệ có sử dụng các ràng buộc phụ thuộc bao hàm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
5 p husc 20/06/2016 438 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ràng buộc toàn vẹn, Ràng buộc phụ thuộc, Phụ thuộc hàm, Phụ thuộc bao hàm, Phụ thuộc đa trị, Mô hình EER, Quan hệ biểu diễn
Phát hiện phụ thuộc hàm trong bảng quyết định.
Trình bày các khái niệm cơ bản về bảng quyết định, sự phụ thuộc thuộc tính, họ Sperner, một số thuật toán liên quan đến khóa tối tiểu, họ phản khóa. Thuật toán tìm tất cả rút gọn của bảng quyết định nhất quán, thuật toán phát hiện phụ thuộc hàm trong các bảng quyết định nhất quán dựa trên các thuật toán khóa tối tiểu, họ phản khóa....
7 p husc 01/06/2016 307 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khám phá tri thức, Khai phá dữ liệu, Phụ thuộc hàm, Khóa tối tiểu, Hệ thống thông tin, Các tập xấp xỉ, Ma trận phân biệt, Hàm phân biệt
Bài giảng Giải tích hàm nhiều biến: Chương 5 - TS. Đặng Văn Vinh
Bài giảng "Giải tích hàm nhiều biến - Chương 5: Tích phân đường" cung cấp cho người học các kiến thức: Tích phân đường loại 1, tích phân đường loại hai; định nghĩa, cách tính; công thức Green; tích phân không phụ thuộc đường đi. Mời các bạn cùng tham khảo nội dung chi tiết.
45 p husc 28/01/2016 312 2
Từ khóa: Giải tích hàm nhiều biến, Bài giảng Giải tích hàm nhiều biến, Công thức Green, Tích phân đường, Tích phân đường loại hai, Tích phân không phụ thuộc đường đi
Tìm hiểu một số tiếp cận trong việc xây dựng các phụ thuộc hàm theo thời gian
Giới thiệu về cơ sở dữ liệu có yếu tố thời gian và TFD. Giới thiệu mô hình thời gian, mô hình dữ liệu quy ước, phụ thuộc hàm theo thời gian, so sánh với các kết quả của WANG, các kết quả nghiên cứu mở rộng. Xây dựng phụ thuộc hàm theo hai loại thời gian. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 –...
7 p husc 31/03/2015 296 1
Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, TFD, Phụ thuộc hàm
Phát hiện các phụ thuộc đa trị dựa vào kỹ thuật khai phá dữ liệu
Nghiên cứu tổng quan về khai phá dữ liệu, một số ứng dụng của khai phá dữ liệu. Một số thuật toán tìm phụ thuộc hàm và phụ thuộc hàm xấp xỉ dựa trên cơ sở cải tiến thuật toán Tane. Kiểm tra phụ thuộc đa trị và phụ thuộc đa trị xấp xỉ bằng cách xây dựng ma trận phụ thuộc, từ đó tìm tất cả phụ...
5 p husc 26/03/2015 250 2
Từ khóa: Tin học, Khai phá dữ liệu, Thuật toán tìm phụ thuộc hàm, Thuật toán Tane
Nghiên cứu các phụ thuộc hàm trong tài liệu XML
Nghiên cứu tổng quan về Extensible Markup Langguage; Các phụ thuộc hàm theo cách tiếp cận "Bộ dữ liệu trên cây" và "Tập nút đóng"; Sự tương đương giữa các phụ thuộc hà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
6 p husc 26/03/2015 280 1
Từ khóa: Tin học, Extensible Markup Langguage, Phụ thuộc hàm, XML
Mở rộng lý thuyết phụ thuộc hàm trên cơ sở dữ liệu theo thời gian
Tìm hiểu về cơ sở dữ liệu có yếu tố thời gian; mở rộng lý thuyết phụ thuộc hàm trên cơ sở dữ liệu theo thời gian và chuẩn hóa cơ sở dữ liệu theo thời gian ở dạng chuẩn T3NF, TBCNF. 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 23/03/2015 228 1
Từ khóa: Tin học, Lý thuyết phụ thuộc hàm, Cơ sở dữ liệu theo thời gian
Nghiên cứu các phụ thuộc hàm theo thời gian
Nghiên cứu các phụ thuộc hàm theo thời gian, đưa ra một số hệ quả và tính chất về mối liên hệ giữa phụ thuộc hàm theo thời gian (TFD) và phụ thuộc hàm (FD) truyền thống; So sánh quan điểm về lý thuyết phụ thuộc hàm theo thời gian thông qua việc so sánh hệ 4 tiên đề với 7 tiên đề cho các TFD của các nhà nghiên...
7 p husc 19/03/2015 161 1
Từ khóa: Tin học, phụ thuộc hàm
Đăng nhập
Bộ sưu tập nổi bật
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.