- 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: Chương 4 - TS. Đặng Xuân Thọ
Bài giảng Toán rời rạc: Chương 4 Suy luận và kiểm chứng chương trình cung cấp cho người học những kiến thức như: Điều cần nhất cho người học CNTT là tư duy chính xác phải được hình thành ngay từ đầu; Mục tiêu của chương là cung cấp; Làm thế nào để kiếm chứng 1 chương trình máy tính.
50 p husc 30/06/2021 101 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Suy luận chương trình, Quy tắc suy luận, Suy diễn trực tiếp, Lượng từ tồn tại
Bài giảng môn học Toán rời rạc: Chương 1 - Nguyễn Anh Thi
Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: Mệnh đề, phép tính mệnh đề, dạng mệnh đề, vị từ và lượng tử, quy tắc suy diễn, phương pháp quy nạp toán học,... Mời các bạn cùng tham khảo.
64 p husc 27/09/2018 316 1
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán cao cấp, Phép tính mệnh đề, Dạng mệnh đề, Quy tắc suy diễn, Phương pháp quy nạp toán học
Tìm hiểu việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ
Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn 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 01/06/2016 256 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ
Đă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.