» Từ khóa: ngon ngu logic menh de

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

Giáo trình Logic học ký hiệu: Phần 1

Giáo trình Logic học ký hiệu được biên soạn dùng tài liệu học tập cho học viên cao học ngành Lý luận và phương pháp dạy học bộ môn Lý luận chính trị và những người quan tâm khác bước đầu làm quen với bộ môn này, biết vận dụng để xử lý một số tình huống khoa học và thực tiễn cụ thể. Giáo trình được chia thành 2 phần, mời các bạn...

34 p actvn 29/11/2023 87 0

Từ khóa: Giáo trình Logic học ký hiệu, Logic học ký hiệu, Ngôn ngữ logic mệnh đề, Hình thức mệnh đề, Logic mệnh đề, Bảng giá trị công thức mệnh đề
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 65 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 Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic

Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic giới thiệu lập trình logic, mệnh đề, ngôn ngữ Turbo ProLog. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này.

42 p actvn 31/03/2018 417 2

Từ khóa: Nguyên lý ngôn ngữ lập trình, Bài giảng Nguyên lý ngôn ngữ lập trình, Ngôn ngữ lập trình logic, Lập trình logic, Ngôn ngữ Turbo ProLog, Mệnh đề lập trình

Đăng nhập

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

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

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

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

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

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

10 22718

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ố