- 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
Ebook Toán học rời rạc ứng dụng trong tin học: Phần 1
Phần 1 của cuốn sách "Toán học rời rạc ứng dụng trong tin học" gồm những nội dung chính sau: Chương 1 - Các kiến thức cơ sở về logic, tập hợp và hàm; Chương 2 - Những kiến thức cơ bản về thuật toán, các số nguyên và ma trận; Chương 3 - Suy luận toán học; Chương 4 - Đếm các phần tử; Chương 5 - Kỹ thuật đếm cao cấp;... Mời các bạn cùng tham khảo!
422 p husc 26/11/2023 48 0
Từ khóa: Toán học rời rạc, Toán ứng dụng, Phép toán tập hợp, Thuật toán tìm kiếm, Suy luận toán học, Quy nạp toán học, Nguyên lý lồng chim bồ câu
Bài giảng Lý luận dạy học môn Toán 1: Dạy học định lí - Tăng Minh Dũng
Bài giảng Lý luận dạy học môn Toán 1: Dạy học định lí, cung cấp cho người học những kiến thức như: Khái niệm định lí; Dạy học định lí; Dạy học chứng minh. Mời các bạn cùng tham khảo!
16 p husc 28/06/2022 55 0
Từ khóa: Bài giảng Lý luận dạy học môn Toán 1, Lý luận dạy học môn Toán 1, Dạy học định lí, Dạy học chứng minh, Năng lực suy luận
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 203 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 213 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 248 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 207 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 203 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 209 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 222 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 199 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ừ
Nghiên cứu một số thuật toán suy luận trong Logic mô tả
Tìm hiểu lý luận về logic mô tả . Nghiên cứu vấn đề suy luận trong logic mô tả. Mô phỏng, cài đặt thuật toán Tableuax để suy luận và đánh giá kết quả mô phỏng. 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
5 p husc 31/03/2015 284 1
Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả
Sử dụng logic mô tả để biểu diễn truy vấn trong cơ sở dữ liệu hướng đối tượng
Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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 24/03/2015 288 1
Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn
Đăng nhập
Bộ sưu tập nổi bật
Tuyển tập tác phẩm văn học hay
15 7884
Bộ sưu tập tài liệu Toán học hay
24 7849
17 13661
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.