- 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: Quy nạp - Trần Vĩnh Đức
Bài giảng Toán rời rạc: Quy nạp cung cấp cho người học những nội dung kiến thức như: Nguyên lý quy nạp, quy nạp mạnh, ví dụ chứng minh sai, 15-Puzzle, 8-Puzzle, chuyển hàng, chuyển cột,... Mời các bạn cùng tham khảo.
37 p husc 29/07/2021 197 1
Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Nguyên lý quy nạp, Quy nạp mạnh, Bước quy nạp, Chứng minh bằng quy nạp
Bài giảng Toán rời rạc: Định lý Ramsey - Trần Vĩnh Đức
Bài giảng Toán rời rạc: Định lý Ramsey cung cấp cho người học những nội dung kiến thức như: Lý thuyết Ramsey, chứng minh định lý Ramsey, cận trên của số Ramsey, ví dụ và Tổng quát hoá. Mời các bạn cùng tham khảo.
27 p husc 29/07/2021 154 0
Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Định lý Ramsey, Lý thuyết Ramsey, Chứng minh định lý Ramsey, Cận trên của số Ramsey
Xây dựng ngôn ngữ mô tả cơ sở tri thức motor suy diễn phục vụ chứng minh bài toán hình học phổ thông
Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
2 p husc 27/11/2015 298 1
Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh
Đă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.