- 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 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 220 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 229 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 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 222 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 241 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ừ
Chất thơ trong kịch bản văn học của Lưu Quang Vũ
Lưu Quang Vũ là một trong những nhà viết kịch nổi tiếng nhất của Việt Nam. Đặt vấn đề nghiên cứu chất thơ trong kịch bản văn học của Lưu Quang Vũ, người viết muốn phân tích một khía cạnh độc đáo, góp phần tạo nên sức hấp dẫn lâu bền cho các tác phẩm kịch của nhà viết kịch tài hoa này.
6 p husc 31/05/2019 413 1
Từ khóa: Chất thơ trong kịch Lưu Quang Vũ, Kịch bản văn học của Lưu Quang Vũ, Chất thơ từ các thành phần ngoài cốt truyện, Thế giới nghệ thuật kịch Lưu Quang Vũ, Lí luận văn học
Xưng hô ngôi thứ nhất với sự thể hiện con người cá nhân Cao Bá Quát trong thơ chữ Hán của ông
Trong thơ chữ Hán, Cao Bá Quát sử dụng rất nhiều từ ngữ xưng hô ngôi thứ nhất. Bài viết thống kê, khảo sát đồng thời chỉ ra hiệu quả thẩm mĩ của việc sử dụng xưng hô ngôi thứ nhất với việc thể hiện con người cá nhân Cao Bá Quát trong thơ của ông - một con người cá tính, phong cách trong thời trung đại Việt Nam.
5 p husc 31/05/2019 245 1
Từ khóa: Sử dụng đại từ nhân xưng ngôi thứ nhất, Thơ Cao Bá Quá, Sử dụng danh tự của các anh hùng hào kiệt, Thơ chữ Hán, Con người cá nhân trong văn học cổ Việt Nam
Bài viết đã đưa ra được một số biện pháp nhằm giúp giáo viên vận dụng, đánh giá, nhận thức được tầm quan trọng của vấn đề giúp trẻ 5 – 6 tuổi hiểu nghĩa của từ trong hoạt động cho trẻ làm quen tác phẩm văn học.
6 p husc 31/05/2019 215 1
Từ khóa: Biện pháp giúp trẻ 5-6 tuổi hiểu nghĩa của từ, Hoạt động làm quen với tác phẩm văn học, Giáo dục trẻ 5-6 tuổi, Giáo dục mầm non, Phát triển bền vững ngành Giáo dục
Những khác biệt của hiện tượng nhấn mạnh trong tiếng Anh và tiếng Việt
Bài viết này nhằm chỉ ra những khác biệt ngôn ngữ của hiện tượng nhấn mạnh, đồng thời đưa ra một vài ứng dụng trong việc dạy-học tiếng Anh nói chung và trong việc dạy-học dịch nói riêng.
10 p husc 31/05/2019 205 1
Từ khóa: Emphasizers tiếng Anh, Từ nhấn mạnh tiếng Việt, Quan niệm về tình thái trong ngôn ngữ học, Hiện tượng ngôn ngữ nhấn mạnh trong tiếng Anh, Ngữ pháp Tiếng Việt
Quản lý mô hình liên thế hệ tự giúp nhau của người cao tuổi và vai trò của công tác xã hội
Thanh Hóa là đại phương đi đầu trong việc nhân rộng mô hình liên thế hệ tự giúp nhau, đây là mô hình chăm sóc - Trợ giúp người cao tuổi dựa vào cộng đồng, mô hình đã huy đọng sự tham gia của cộng đồng trong việc chăm sóc, trợ giúp và phát huy vai trò của người cao tuổi. Mời các bạn cùng tìm hiểu vấn đề này.
14 p husc 28/04/2019 192 1
Từ khóa: Tạp chí Khoa học, Liên thế hệ, Tự giúp nhau, Người cao tuổi, Công tác xã hội, Chăm sóc người cao tuổi
Thành lập bản đồ lúa vùng Đồng bằng sông Cửu Long sử dụng tư liệu viễn thám radar TerraSAR-X
TerraSAR-X cung cấp nguồn dữ liệu tốt nhất trong ba loại dữ liệu SAR (ENVISATASAR, ALOS-PALSAR) theo thời gian để giám sát lúa [14]. Vệ tinh này có chu kỳ lặp lại là 11 ngày, điều này giúp cho quá trình giám sát lúa diễn ra một cách liên tục hơn các loại vệ tinh mang bộ cảm radar đa phân cực khác như ENVISAT-ASAR (khoảng 30-35 ngày).
7 p husc 26/03/2019 225 1
Từ khóa: Tạp chí khoa học, Thành lập bản đồ lúa, Vùng Đồng bằng sông Cửu Long, Tư liệu viễn thám radar TerraSAR-X, Tư liệu viễn thá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.