- 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 2 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 2 Cơ sở toán học trong đặc tả hình thức, cung cấp cho người đọc những kiến thức như: Lý thuyết tập hợp; Phép toán vị từ; Lượng từ; Luật suy diễn. Mời các bạn cùng tham khảo!
75 p iemh 18/03/2023 42 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Cơ sở toán học trong đặc tả hình thức, Phép toán vị từ, Luật suy diễn
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ừ
Đăng nhập
Bộ sưu tập nổi bật