Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: co so dac ta hinh thuc

Kết quả 1-2 trong khoảng 2

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 actvn 21/03/2023 72 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 Đặ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 học các kiến thức: 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 nội dung chi tiết.

89 p actvn 31/08/2020 264 2

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Phép toán vị từ, Cơ sở đặc tả hình thức, Luật suy diễn

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Học viện Kỹ thuật Mật Mã

141 đường Chiến Thắng - Tân Triều - Thanh Trì - Hà Nội
ĐT : 024.38544244 – 024.38543024 – 024.385520251

Phát triển bởi Thư viện số