» Từ khóa: luat suy dien

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

Giáo trình Logic học đại cương: Phần 2

Ngoài phần lý thuyết được trình bày khá cô đọng, giáo trình "Logic học đại cương" còn đưa các ví dụ lấy từ cuộc sống vào mỗi bài để minh họa và phần nào giúp môn học bớt khô khan. Sau mỗi bài của giáo trình, tác giả đều biên soạn các câu hỏi thảo luận, ôn tập và bài tập phù hợp trình độ người học nhằm củng cố kiến thức lý thuyết...

137 p actvn 29/09/2024 17 1

Từ khóa: Giáo trình Logic học đại cương, Logic học đại cương, Quy luật logic, Suy luận diễn dịch, Chứng minh, Giả thiết
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 62 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 255 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 286 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

Bộ sưu tập Mật mã - An toàn thông tin

10 22697
Bộ sưu tập Kỹ thuật viễn thông

11 17037
Bộ sưu tập Lý luận chính trị

12 24210
Bộ sưu tập Tài liệu học tiếng Anh

14 84699
Bộ sưu tập Kỹ thuật lập trình

10 22086

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ố