Học phần trang bị cho người học các kiến thức:

• Lý thuyết tập hợp và nguyên lý Dirichlet để giải quyết bài toán đếm và bài toán tồn tại.

• Lý thuyết logic mệnh đề và đại số Boole để có thể suy luận logic cũng như tối ưu hóa các mệnh đề logic.

• Những vấn đề cơ bản của lý thuyết đồ thị và ứng dụng để giải quyết bài toán tối ưu trên đồ thị và đồ thị dạng cây.

Học phần giúp người học hình thành kỹ năng tư duy logic, rành mạch, chính xác và có cách nhìn rời rạc hóa những quá trình liên tục để biểu diễn trong các hệ thống máy tính, nhờ vậy người học có thể tiếp thu dễ dàng những kiến thức sâu rộng đang phát triển không ngừng trong lĩnh vực Công nghệ thông tin.