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

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

Bài giảng môn Toán rời rạc - Chương 1: Cơ sở 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 utehy 25/06/2024 16 0

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 đề
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 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 utehy 26/09/2022 99 5

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 đề
Giáo trình Nhập môn logic hình thức: Phần 1

Phần 1 cuốn giáo trình "Nhập môn logic hình thức" giới thiệu tới người đọc nội dung các chương: Về ngôn ngữ và logich hình thức, khái niệm, phán đoán, logich mệnh đề, logic vị từ. Mời các bạn cùng tham khảo nội dung chi tiết.

114 p utehy 23/08/2022 103 1

Từ khóa: Nhập môn logic hình thức, Giáo trình Nhập môn logic hình thức, Logic học hình thức, Logich mệnh đề, Logic vị từ, Phán đoán
Giáo trình Toán rời rạc: Phần 1 - Vũ Đình Hòa

Môn Toán rời rạc là một trong những môn cơ bản nhất của ngành Công nghệ thông tin. Cuốn giáo trình Toán rời rạc này được viết cho sinh viên năm thứ nhất ngành Công nghệ thông tin. Giáo trình gồm có 7 chương và được chia thành 2 phần, phần 1 gồm 4 chương với những nội dung chính như sau: Chương 1 - logic mệnh đề, chương 2 - lý thuyết tập hợp,...

84 p utehy 25/07/2022 135 4

Từ khóa: Giáo trình Toán rời rạc, Toán rời rạc, Logic mệnh đề, Lý thuyết tập hợp, Công thức tổ hợp, Kiểm chứng chương trình
Bài giảng Trí tuệ nhân tạo

Bài giảng Trí tuệ nhân tạo cung cấp các kiến thức cơ bản về phương pháp biểu diễn và giải quyết vấn đề, các kỹ thuật biểu diễn và xử lý tri thức. Nội dung bài giảng được biên soạn thành 7 chương, mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.

80 p utehy 28/02/2022 106 5

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 kinh nghiệm, Chiến lược tìm kiếm tối ưu, Logic 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 utehy 15/12/2021 99 1

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ừ
Bài giảng Trí tuệ nhân tạo

Với kết cấu gồm 2 phần "Bài giảng Trí tuệ nhân tạo" 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 utehy 15/12/2021 93 1

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
Giáo trình Trí tuệ nhân tạo (Artificial Intelligence): Phần 2

Phần 2 Giáo trình Trí tuệ nhân tạo (Artificial Intelligence) gồm các chương: Chương 5 – Các phương pháp tìm kiếm lời giải thỏa mãn các ràng buộc, chương 6 – Các phương pháp lập luận trên logic mệnh đề, chương 7 – Các phương pháp lập luận trên logic cấp một, chương 8 – Prolog, chương 9 – Lập luận với tri thức không chắc chắn, chương 10 – Học...

62 p utehy 26/11/2021 107 4

Từ khóa: Giáo trình Trí tuệ nhân tạo, Artificial Intelligence, Trí tuệ nhân tạo, Logic mệnh đề, Logic cấp một, Mạng nơron nhân tạo