- 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 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 294 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 221 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 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 240 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 215 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ừ
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 200 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 300 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
Kiến trúc tiết kiệm năng lượng
Xây dựng một nền kiến trúc thân thiện với môi trường sử dụng ít năng lượng. 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
2 p husc 01/03/2019 261 1
Từ khóa: Kiến trúc, Tiết kiệm năng lượng, Hấp thu ánh nắng, Thông thoáng tự nhiên, Thông gió tự nhiên
Xác định được tiềm năng du lịch cộng đồng ở xã Phú Diên, huyện Phú Vang, tỉnh Thừa Thiên Huế, từ đó đề xuất phát triển loại hình du lịch này. 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
11 p husc 01/03/2019 282 1
Từ khóa: Địa lý, Du lịch cộng đồng, Phát triển du lịch, Du lịch tự nhiên, Tiềm năng du lịch
Sinh kế của cư dân ven biển thành phố Đồng Hới, tỉnh Quảng Bình hiện nay
Chương 1: Cơ sở lý luận và Tổng quan các nguồn lực sinh kế. Chương 2: Sinh kế của cƣ dân ven biển thành phố Đồng Hới, tỉnh Quảng Bình – Truyền thống và hiện tại. Chương 3: Giải pháp phát triển sinh kế cho cƣ dân ven biển thành phố Đồng Hới, tỉnh Quảng Bình trong bối cảnh hiện nay. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
15 p husc 07/01/2019 247 1
Từ khóa: Dân tộc học, Nguồn lực sinh kế, Nguồn lực tự nhiên, Nguồn lực vật chất, Cư dân ven biển, Sinh kế ngư nghiệp, Sinh kế bền vững
Nghiên cứu mô hình xử lý ngôn ngữ tự nhiên và ứng dụng xây dựng quy trình phân loại văn bản
Nghiên cứu về xử lý ngôn ngữ tự nhiên và ngôn ngữ tiếng Việt tổng hợp và phân tích tập hợp các kỹ thuật tách từ và khai phá văn bản và ứng dụng để xây dựng một quy trình phân loại văn bản trong cơ quan Huyện ủy Mộ Đức. 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
11 p husc 04/01/2019 269 1
Từ khóa: Khoa học máy tính, Ngôn ngữ tự nhiên, Xử lý văn bản, Tích hợp văn bản, Chuyển dịch trạng thái, Ngôn ngữ tiếng Việt
Biến đổi đại dương và biến đổi khí hậu - hai mặt của một vấn đề
Các nhà khoa học tiếp tục khẳng định: Biến đổi khí hậu và biến đổi đại dương có liên quan chặt chẽ với nhau và là hai mặt của một vấn đề thông qua quá trình tương tác giữa chúng trong tự nhiên. Bài viết này giới thiệu về biến đổi đại dương, vai trò của đại dương trong thích ứng với tác động của biến đổi khí hậu và cách tiếp cận...
10 p husc 30/10/2018 258 1
Từ khóa: Tạp chí Khoa học và Công nghệ Biển, Biến đổi đại dương, Biến đổi khí hậu, Ứng phó biến đổi khí hậu, Hệ thống tự nhiên mở, Chu trình nước toàn cầu, Biến đổi đại dương, Axit hóa đại dương
Bài giảng Các tập hợp số nội dung gồm 3 chương: Cấu trúc đại số, số tự nhiên, tập số hữu tỉ và tập số thực. Mời các bạn cùng tham khảo để nắm chi tiết nội dung bài giảng.
71 p husc 30/08/2018 273 2
Từ khóa: Bài giảng Các tập hợp số, Các tập hợp số, Cấu trúc đại số, Số tự nhiên, Tập số hữu tỉ và tập số thực
Đă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.