» Từ khóa: luat suy dien

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

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 69 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 263 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
Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.1 - PGS.TS. Đỗ Phúc

Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.1 trình bày các nội dung sau: Cơ sở dữ liệu suy diễn (CSDLSD), dạng luật trong CSDLSD, vị từ được suy và vị từ nền, luật không đệ qui, tạo dữ liệu qua phép AND, OR, NOT, suy diễn với luật không đệ qui Suy diễn với luật đệ qui. Đây là tài liệu học tập và giảng dạy dành cho sinh viên ngành tham khảo.

25 p actvn 29/04/2020 295 1

Từ khóa: Cơ sở dữ liệu, Bài giảng Cơ sở dữ liệu nâng cao, Cơ sở dữ liệu nâng cao, Cơ sở dữ liệu suy diễn, Luật không đệ qui, Suy diễn với luật đệ qui

Đă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ố