- 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 47 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 đề
Ebook STL lập trình khái lược trong C++: Phần 2
Nối tiếp phần 1, phần 2 của ebook "STL lập trình khái lược trong C++" tiếp tục trình bày các nội dung chính sau: Đối tượng hàm; Các phép toán số học; Các phép toán so sánh; Giải thuật trong STL; Lập trình khái lược; Các khái niệm trong STL. Mời các bạn cùng tham khảo để nắm nội dung chi tiết.
177 p iemh 26/11/2022 77 0
Từ khóa: Lập trình khái lược, Kỹ thuật lập trình, Đối tượng hàm, Phép toán so sánh, Phép toán logic, Khuôn hình giải thuật
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 265 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 460 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