- 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 ngữ nghĩa tập trả lời của chương trình logic và nghiên cứu.
Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447
12 p husc 08/11/2024 16 1
Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.
Nghiên cứu động bộ hóa trong hệ phân tán
Tổng quan về hệ phân tán; Đồng bộ hóa trong hệ phân tán; Cài đặt và phân tích các thuật toán đồng bộ thời gian Logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447
12 p husc 04/04/2024 35 0
Từ khóa: Khoa học máy tính, Hệ phân tán, Chia sẽ tài nguyên, Đối tượng phân tán, Tính toán phân cụm, Tính toán đám mây, Mô hình truyền thông, Thuật toán tập trung, Cài đặt thuật toán
Bài giảng Kiến trúc máy tính: Chương 1 - Vũ Thị Lưu
Bài giảng Kiến trúc máy tính: Chương 1 Giới thiệu chung, cung cấp cho người học những kiến thức như: Máy tính và phân loại; Kiến trúc máy tính; Sự tiến hoá của máy tính. Mời các bạn cùng tham khảo!
77 p husc 26/01/2024 38 0
Từ khóa: Bài giảng Kiến trúc máy tính, Kiến trúc máy tính, Khoa học máy tính, Mô hình máy tính, Phân loại máy tính, Máy tính nhúng, Kiến trúc tập lệnh
Hình thức ôn tập kiến thức mỗi môn học vào cuối kì sao cho hiệu quả luôn là một thách thức cho cả SV và giảng viên ở các trường đại học hay cao đẳng. Bài viết đề cập tới hình thức đổi mới cho cách ôn tập cuối kì môn Văn học Anh-Mỹ nhằm phát huy tính tự chủ cho SV khối chuyên Anh tại khoa Tiếng Anh, Trường Đại học Sư phạm Hà Nội.
5 p husc 31/03/2020 169 1
Từ khóa: Tạp chí Giáo dục, Bài viết về giáo dục, Đổi mới hình thức ôn tập cuối kì, Môn học Văn học Anh Mĩ, Phát huy tính tự chủ cho sinh viên
Công nghệ màng lọc sinh học (MBR) được thí nghiệm áp dụng xử lý nước thải đô thị đạt hiệu quả xử lý cao. Đây là một trong những phương pháp tiên tiến và đã được áp dụng xử lý thành công nhiều loại nước thải khác nhau từ đô thị cho tới các loại nước thải công nghiệp khó xử lý. Mô hình thí nghiệm MBR là sự kết hợp giữa hai quá...
5 p husc 29/02/2020 209 1
Từ khóa: Tạp chí Khoa học Công nghệ Hàng hải, Nước thải đô thị, Bùn hoạt tính, Công nghệ màng lọc sinh học, Mô hình thí nghiệm MBR, Phân hủy sinh học chất hữu cơ
Giới thiệu sơ lược về mô hình lập luận của Toulmin
Bài viết giới thiệu tổng quan về mô hình như một nguồn tham khảo về lí thuyết lập luận nhằm nâng cao hiệu quả và tính vững chắc của lập luận thực tế.
5 p husc 30/11/2019 194 1
Từ khóa: Tạp chí Khoa học, Mô hình Toulmin, Tính vững chắc trong lập luận, Lập luận thực tế, Mô hình tam đoạn luận truyền thống
Dự tính biến đổi khí hậu và đánh giá sự thay đổi của mưa cực đoan cho tỉnh Hà Tĩnh
Phương pháp chi tiết hóa động lực được áp dụng để dự % nh biến đổi khí hậu chi tiết cho khu vực Hà Tĩnh. Bốn mô hình khí hậu khu vực độ phân giải cao bao gồm CCAM, clWRF, PRECIS, RegCM được áp dụng để tính toán chi tiết hóa kết quả của mô hình khí hậu toàn cầu cho khu vực tỉnh Hà Tĩnh.
7 p husc 30/11/2019 170 1
Từ khóa: Tạp chí Khoa học biến đổi khí hậu, Bài viết về môi trường, Dự tính khí hậu độ phân giải cao, Thay đổi của IDF do biến đổi khí hậu, Mô hình khí hậu toàn cầu
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 0 - Nguyễn Thanh Sơn
Nội dung chisng trong chương này trình bày một số nội dung như: một số thuật ngữ, hệ tiên đề, tiên đề hình học Euclide, tính chất của hệ tiên đề, phương thức xác định tập hợp, các tập hợp số,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
23 p husc 31/05/2019 201 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Hệ tiên đề, Tiên đề hình học Euclide, Tính chất của hệ tiên đề, Tập hợp số
Bài giảng Tinh thể học đại cương: Chương 4 - ĐH Bách khoa TP. Hồ Chí Minh
Bài giảng "Tinh thể học đại cương - Chương 4: Hình thái của tinh thể" cung cấp cho người học các kiến thức: Hình thái tinh thể thực, dạng đơn tinh thể, dạng tập hợp tinh thể. Mời các bạn cùng tham khảo nội dung chi tiết.
36 p husc 07/05/2018 236 1
Từ khóa: Bài giảng Tinh thể học đại cương, Tinh thể học đại cương, Hình thái tinh thể, Hình thái tinh thể thực, Dạng đơn tinh thể, Dạng tập hợp tinh thể
Ứng dụng phương pháp lập luận xấp xỉ vào việc dự đoán chỉ số giá tiêu dùng tại tỉnh Quảng Trị.
Trình bày một số kiến thức cơ sở về lý thuyết tập mờ như biến ngôn ngữ, các phép tính trên tập mờ, đại số các tập mờ và phương pháp lập luận xấp xỉ. 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
11 p husc 30/12/2016 317 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Biến ngôn ngữ, Mờ hóa, Khử mờ, Luật hợp thành, Mệnh đề hợp thành, Mô hình mờ, Bộ dự đoán.
Về học thuyết hình thái kinh tế - xã hội của C.Mác
Học thuyết của C.Mác về hình thái kinh tế - xã hội từ khi ra đời đã cung cấp cho giai cấp công nhân và nhân loại tiến bộ một vũ khí lý luận khoa học để đấu tranh giải phóng con người. Học thuyết đó đã và đang bị nhiều người phê phán. Trong thời đại hiện nay, trước những biến đổi to lớn của thực tiễn xã hội, đặc biệt trước sự sụp...
10 p husc 31/10/2016 318 1
Từ khóa: Tạp chí Khoa học xã hội Việt Nam, Học thuyết hình thái kinh tế - xã hội, Học thuyết C.Mác, Tính khoa học hạn chế, Tính khoa học
Nghiên cứu việc chuyển đổi mô hình TimeER sang mô hình đối tượng ODMG.
Khái quát về cơ sở dữ liệu có yếu tố thời gian, các mô hình cơ sở dữ liệu có yếu tố thời gian. Mô hình TimeER trong đó bao gồm các tập thực thể, thuộc tính, mối quan hệ, ràng buộc. Phương pháp chuyển đổi từ mô hình TimeER sang mô hình đối tượng ODMG. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543....
11 p husc 26/09/2016 309 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập thực thể, Quan hệ lớp cha, Chuyển thông điệp, Phân cấp lớp, Siêu dữ liệu, Ngôn ngữ định dạng, Bước chuyển đổi, Mô hình chuyển đổi.
Đă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.