Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 - TS. Ngô Hữu Phúc

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy với mục tiêu nhằm giúp các bạn nắm được Logic hình thức, sự tương đương logic, phương pháp lập luận và suy diễn sử dụng logic.

Từ khóa: Khoa học máy tính, Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic hình thức, Suy diễn sử dụng logic