- 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
Giáo trình Nhập môn trí tuệ nhân tạo - PGS.TS. Nguyễn Quang Hoan
Giáo trình Nhập môn trí tuệ nhân tạo giới thiệu đến các bạn những nội dung chính như sau: tổng quan khoa học trí tuệ nhân tạo, các phương pháp giải quyết vấn đề, biểu diễn tri thức và suy diễn, xử lý ngôn ngữ tự nhiên, các kỹ thuật trí tuệ nhân tạo hiện đại.
171 p husc 31/07/2019 357 10
Từ khóa: Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Biểu diễn tri thức, Xử lý ngôn ngữ tự nhiên, Trí tuệ nhân tạo hiện đại
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 2 (phần 1) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 trình bày về luận lý mệnh đề. Các nội dung chính trong chương này gồm: Cấu trúc của luận lý mệnh đề, suy luận tự nhiên trong luận lý mệnh đề, ngữ nghĩa của luận lý mệnh đề. Phần 1 sau đây tập trung thảo luận về cấu trúc của luận lý mệnh đề. Mời các bạn cùng tham khảo.
29 p husc 31/05/2019 188 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Cấu trúc của luận lý mệnh đề, Suy luận tự nhiên, Ngữ nghĩa của luận lý mệnh đề
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 2 (phần 2) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 2) tập trung thảo luận về suy luận tự nhiên trong luận lý mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
45 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, Suy luận tự nhiên, Luận lý mệnh đề, Mathematical Logic, Cấu trúc luận lý mệnh đề
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 2 (phần 3) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.
82 p husc 31/05/2019 198 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 2 (phần 4) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 4) tiếp tục trình bày những kiến thức liên quan đến ngữ nghĩa của luận lý mệnh đề. Các nội dung trong phần này gồm có: Soundness và Completeness, Proof theory. Mời các bạn cùng tham khảo.
5 p husc 31/05/2019 195 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 3 (phần 1) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 trình bày về luận lý vị từ. Chương này gồm có 4 phần. Phần 1 sau đây sẽ tập trung giới thiệu về cấu trúc của luận lý vị từ. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
48 p husc 31/05/2019 190 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 3 (phần 2) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 2) thảo luận về suy luận tự nhiên trong luận lý vị từ. Những nội dung cụ thể được trình bày trong chương này gồm có: Cây phân tích, hiện hữu, thay thế, điều kiện thay thế, suy luận tự nhiên,... Mời các bạn cùng tham khảo.
39 p husc 31/05/2019 193 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 3 (phần 3) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 3) cung cấp những kiến thức về ngữ nghĩa của luận lý vị từ. Trong chương này gồm có những nội dung cụ thể như sau: Diễn dịch của 1 công thức, đánh giá công thức trong 1 dd, ngữ nghĩa, công thức tương đương. Mời các bạn cùng tham khảo.
48 p husc 31/05/2019 209 2
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 3 (phần 4) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 3 (phần 4) trình bày một số kiến thức về phân giải trong luận lý vị từ như: Tính hằng sai, dạng chuẩn Skolem, mệnh đề, nguyên tắc phân giải,...và một số nội dung liên quan khác. Mời các bạn cùng tham khảo.
72 p husc 31/05/2019 186 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Mathematical Logic, Luận lý vị từ, Suy luận tự nhiên, Ngữ nghĩa của luận lý vị từ
Thủ tục đánh giá tác động môi trường và ra quyết định
Tài liệu tổng hợp nội dung qua 5 bài sau: bài 1 giới thiệu về đánh giá tác động môi trường, bài 2 luật đánh giá tác động môi trường ở hạ lưu sông Mê Công, bài 3 những thách thức trong việc áp dụng đánh giá tác động môi trường ở lưu vực sông Mê Công, bài 4 tổng quan về quy trình đánh giá tác động môi trường, bài 5 kinh tế môi trường trong quy...
54 p husc 28/04/2019 244 2
Từ khóa: Tài liệu chuyên ngành môi trường, Chuyên đề môi trường, Tác động môi trường, Thủ tục đánh giá môi trường, Môi trường tự nhiên, Bảo vệ môi trường
Khủng hoảng của thời hiện đại - vấn đề về con người và của con người
Bài viết đặt vấn đề về khủng hoảng của thời hiện đại - vấn đề về con người và của con người, càng ngày chúng ta càng nhận thấy rõ hơn rằng, thế kỷ XXI là cái mốc quan trọng bậc nhất trong lịch sử nhân loại. Nằm trong kỷ nguyên giao thoa giữa hiện đại và truyền thống thì đã đến lúc cần phải ý thức đầy đủ sự lệ thuộc của mình...
8 p husc 28/04/2019 175 1
Từ khóa: Khủng hoảng thời hiện đại, Mốc lịch sử nhân loại, Nền văn minh con người, Con người và tự nhiên, Nguyên tắc đồng tiến hóa
Bài giảng Vi sinh môi trường: Phần 2 - TS. Lê Quốc Tuấn
Phần 2 của bài giảng Vi sinh môi trường cung cấp cho người học những nội dung kiến thức như: Xử lý nước thải bằng vi sinh vật, các quá trình khử nitrogen bằng vi sinh vật, khử phosphorus bằng các phương pháp sinh học, các hệ thống xử lý tự nhiên và ứng dụng. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.
59 p husc 26/03/2019 271 2
Từ khóa: Vi sinh môi trường, Bài giảng Vi sinh môi trường, Xử lý nước thải bằng vi sinh vật, Khử nitrogen bằng vi sinh vật, Khử phosphorus bằng phương pháp sinh học, Hệ thống xử lý tự nhiên
Đă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 7317
17 11533
Tuyển tập tác phẩm văn học hay
15 7030
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.