- 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 Toán rời rạc: Bài 1 - Vũ Thương Huyền
Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về logic; sự tương đương các mệnh đề; vị từ và lượng từ; các phép suy diễn; chuẩn tắc hội, chuẩn tắc tuyển; các phương pháp chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
80 p husc 28/12/2021 86 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán tử logic, Chuẩn tắc hội, Chuẩn tắc tuyển, Bảng giá trị chân lí, Mệnh đề kéo theo, Phép suy diễn
Bài giảng Toán rời rạc: Bài 3 - Vũ Thương Huyền
Bài giảng Toán rời rạc: Bài 3 - Vũ Thương Huyền cung cấp cho học viên các kiến thức về phép quy nạp và đệ quy; quy nạp toán học; đệ quy; định nghĩa đệ quy của hàm; các tập hợp được định nghĩa đệ quy; các thuật toán đệ quy;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
24 p husc 28/12/2021 88 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Phép quy nạp, Đệ quy, Chứng minh bằng quy nạp, Chứng minh mệnh đề kéo theo, Thuật toán đệ quy
Tìm hiểu lập luận của Logic mô tả ALC mờ.
Trình bày các bài toán lập luận và minh họa các bài toán thông qua một ví dụ có tính thực tiễn góp phần làm rõ các lý thuyết của logic mô tả ALC và ALC mờ. 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
13 p husc 10/01/2018 334 1
Từ khóa: Công nghệ thông tin, Logic mô tả, Lý thuyết tập mờ, Bài toán lập luận, Thuật toán Tableaux, Bài toán kéo theo, Thuật ngữ mờ
Đăng nhập
Bộ sưu tập nổi bật
17 13597
Bộ sưu tập tài liệu Toán học hay
24 7801
Tuyển tập tác phẩm văn học hay
15 7856
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.