» Từ khóa: ngôn ngữ hình thức

Kết quả 13-15 trong khoảng 15

Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!

21 p actvn 21/03/2023 74 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình Thế giới thực, Ngôn ngữ đặc tả hình thức, Quy trình công nghệ phần mềm, Ngôn ngữ hình thức
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 actvn 21/03/2023 90 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 Cơ sở dữ liệu: Chương 0 - ThS. Nguyễn Thị Như Anh

Bài giảng Cơ sở dữ liệu - Chương 0: Giới thiệu môn học. Sau khi kết thúc môn học này, học viên có thể diễn giải được vai trò của CSDL; nắm vững được các khái niệm cơ bản của CSDL; thể hiện CSDL qua các lược đồ, mô hình; sử dụng được các ngôn ngữ truy vấn để thao tác với CSDL;... Mời các bạn cùng tham khảo!

10 p actvn 22/08/2022 158 0

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Mô hình thực thể kết hợp, Mô hình dữ liệu quan hệ, Ngôn ngữ truy vấn dữ liệu quan hệ, Ràng buộc toàn vẹn

Đăng nhập

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ố