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

Bài giảng môn Toán rời rạc - Chương 1: Cơ sở logic, được biên soạn gồm các nội dung chính sau Mệnh đề; dạng mệnh đề; vị từ, lượng từ; quy tắc suy luận; nguyên lý quy nạp. Mời các bạn cùng tham khảo!

 68 p actvn 27/05/2024 24 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Quy tắc suy luận, Nguyên lý quy nạp, Phân loại mệnh đề

Với kết cấu gồm 2 phần "Bài giảng Trí tuệ nhân tạo - ĐH Hàng Hải" giới thiệu đến bạn đọc những nội dung: Phương pháp biểu diễn và giải quyết vấn đề, tri thức và lập luận. Mời các bạn cùng tham khảo.

 60 p actvn 22/07/2022 119 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm tối ưu, Logic mệnh đề, Logic vị từ cấp 1

Bài giảng Nhập môn trí tuệ nhân tạo: Phần 1 cung cấp cho người học những kiến thức như: Tổng quan về Trí tuệ nhân tạo; Các chiến lược tìm kiếm; Các giải thuật tìm kiếm lời giải cho trò chơi;...Mời các bạn cùng tham khảo!

 118 p actvn 19/04/2022 154 1 Download

Từ khóa: Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Cây tìm kiếm, Chiến lược tìm kiếm tối ưu, Logic mệnh đề

Tập bài giảng Nhập môn trí tuệ nhân tạo gồm có 5 chương với nội dung cụ thể của từng chương như sau: Chương 1 - tổng quan về trí tuệ nhân tạo, chương 2 - các chiến lược tìm kiếm, chương 3 - logic mệnh đề, chương 4 - logic vị từ, chương 5 - biểu diễn tri thức. Mời các bạn cùng tham khảo.

 259 p actvn 28/11/2021 257 2 Download

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ, Biểu diễn tri thức

Bài giảng "Trí tuệ nhân tạo - Chương 4: Tri thức và suy diễn" cung cấp cho người học các kiến thức: Tri thức là gì, phân loại tri thức, suy diễn đối với logic mệnh đề, suy diễn lùi,... Mời các bạn cùng tham khảo nội dung chi tiết.

 10 p actvn 31/03/2020 394 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phân loại tri thức, Suy diễn tiến, Logic mệnh đề, Suy diễn lùi

Bài giảng "Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính" cung cấp cho người học các kiến thức: Logic mệnh đề, logic vị từ, một số thuật giải liên quan đến logic mệnh đề, biểu diễn tri thức sử dụng luật dẫn xuất, biễu diễn tri thức sử dụng mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.

 86 p actvn 31/01/2020 438 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phương pháp biểu diễn tri thức, Biểu diễn tri thức, Biểu diễn tri thức trên máy tính, Logic mệnh đề, Logic vị từ

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.2 đề cập đến lôgic mệnh đề. Trong chương này sẽ trình bày 2 nội dung chính, đó là các khái niệm lôgic và lôgic mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 67 p actvn 29/07/2019 408 3 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Logic mệnh đề, Biểu diễn tri thức, Lôgic vị từ bậc một, Arguments in 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 415 2 Download

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

Ebook Logic Toán có kết cầu gồm 3 chương. Phần 1 cuốn sách gồm nội dung chương 1 - Đại số mệnh đề và chương 2 - Đại số vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. Mời các bạn cùng tham khảo nội dung chi tiết cuốn sách này.

 150 p actvn 16/11/2015 469 6 Download

Từ khóa: Logic toán, Đại số logic, Logic vị từ, Hệ toán mệnh đề, Bài tập Đại số logic, Phép toán logic

Ebook Logic Toán có kết cầu gồm 3 chương. Phần 2 cuốn sách gồm nội dung chương 3 - hệ toán mệnh đề và vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. Mời bạn đọc tham khảo.

 74 p actvn 16/11/2015 609 5 Download

Từ khóa: Logic toán, Đại số logic, Logic vị từ, Hệ toán mệnh đề, Phép toán logic, Hàm mệnh đề

"Bài giảng môn "Toán tin - Chương 3: Logic" cung cấp cho sinh viên các kiến thức: Mệnh đề logic, dạng mệnh đề logic, quy tắc suy diễn logic, vị từ và lượng từ. Hi vọng đây sẽ là một tài liệu tham khảo hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài liệu tham khảo phục vụ học tập và nghiên cứu.

 44 p actvn 24/09/2015 460 8 Download

Từ khóa: Bài giảng Toán tin, Bài toán logic, Mệnh đề logic, Dạng mệnh đề logic, Quy tắc suy diễn logic, Chân trị mệnh đề

Nối tiếp nội dung phần 1 cuốn sách “Hướng dẫn giải bài tập toán rời rạc”, phần 2 trình bày các nội dung: Đường Euler và hamilton - Bài toán tìm đường đi ngắn nhất, đồ thị phẳng - sắc số của đồ thị và bài toán tô màu bản đồ, lôgic và ứng dụng,… Mời các bạn cùng tham khảo nội dung chi tiết.

 206 p actvn 25/06/2015 739 39 Download

Từ khóa: Hướng dẫn giải bài tập toán rời rạc, Bài tập toán rời rạc, Đường Euler và hamilton, Bài toán tô màu bản đồ, Lôgic ứng dụng, Logic mệnh đề