- 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 Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!
47 p iemh 18/03/2023 46 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ, Logic toán học, Logic mệnh đề
Bài giảng Toán rời rạc: Logic - TS. Đỗ Đức Đông
Bài giảng "Toán rời rạc - Logic" cung cấp cho người học các kiến thức: Logic mệnh đề, các phép toán mệnh đề, biểu thức logic, các luật logic, logic vị từ, lượng từ. Mời các bạn cùng tham khảo nội dung chi tiết.
67 p iemh 29/07/2021 264 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Các phép toán mệnh đề, Biểu thức logic, Các luật logic, Logic vị từ
Ebook Toán rời rạc (Tập 1): Phần 2
Phần 2 cuốn sách “Toán rời rạc: Tập 1- Lý thuyết" nối tiếp nội dung phần 1 trình bày các nội dung: Bài toán tổ hợp tối ưu, đồ thị hữu hạn và ứng dụng, những khái niệm cơ bản về logic toán, ôtômát hữu hạn và ứng dụng. Mời các bạn cùng tham khảo nội dung chi tiết.
129 p iemh 27/09/2017 459 3
Từ khóa: Toán rời rạc, Bài toán tổ hợp tối ưu, Đồ thị hữu hạn, Khái niệm logic toán, Ôtômát hữu hạn, Phép toán mệnh đề
Đăng nhập
Bộ sưu tập nổi bật