» Từ khóa: mệnh đề logic

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

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 đề
Giáo trình Logic học ký hiệu: Phần 2

Giáo trình Logic học ký hiệu: Phần 2 bao gồm các bài tập mẫu, hướng dẫn các bước giải từng loại bài tập. Trên cơ sở thực hiện các bài tập mẫu, học viên có thể tự giải các bài tập, giải quyết các tình huống logic theo các nội dung trong phần bài tập của giáo trình. Mời các bạn cùng tham khảo nội dung phần 2 cuốn sách.

65 p actvn 29/11/2023 70 0

Từ khóa: Giáo trình Logic học ký hiệu, Logic học ký hiệu, Công thức mệnh đề, Logic mệnh đề, Quy tắc suy luận logic, Phép tính tiên đề
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 đề
Giáo trình Toán cao cấp 2: Phần 1 - PGS. TS Phạm Ngọc Anh, PGS. TS Lê Bá Long

Giáo trình được thiết kế theo 5 chương, nội dung phần 1 gồm có: Lôgic mệnh đề, tập hợp, ánh xạ; Không gian véc tơ n chiều; Ma trận và định thức. Mời các bạn cùng tham khảo!

130 p actvn 27/06/2022 147 0

Từ khóa: Giáo trình Toán cao cấp 2, Toán cao cấp 2, Không gian véc tơ, Lôgic mệnh đề, Tập hợp, Hàm mệnh đề
Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường

Bài giảng Trí tuệ nhân tạo cung cấp cho người học những kiến thức như: Giới thiệu, thuật toán, thuật giải, giải thuật di truyền, biểu diễn và suy luận tri thức, logic mệnh đề logic vị từ, máy học, mạng neural. Mời các bạn cùng tham khảo!

136 p actvn 29/08/2021 223 0

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Công nghệ phần mềm, Giải thuật di truyền, Suy luận tri thức, Mệnh đề logic vị từ

Đă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 22718
Bộ sưu tập Lý luận chính trị

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

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

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

10 22122

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ố