Mô tả: Cung cấp cho sinh viên những kiến thức liên quan đến những đối tượng rời rạc trong toán học, như logic mệnh đề, vị từ, đại số tổ hợp, đại số boole. Bao gồm những kiến thức về suy luận toán học, các phương pháp chứng minh và đại số Boole, các hàm logic.
GVHD: Trầm Hoàng Nam.
Điểm TB: 5.7
Cảm nhận về môn học: biết đến thế nào là mệnh đề, chân trị của mệnh đề, các phép toán mệnh đề. Thực hiện được các phép toán mệnh đề. Hiểu được các ứng dụng của phép toán logic trong lập trình và trong đời sống hàng ngày.