Mô tả các khái niệm cơ bản về quan hệ, các phép toán của đại số Boolean, cách thức chuyển đổi thành dạng chuẩn, áp dụng thuật toán cho các bài toán đồ thị, phân tích và xây dựng được đồ thị từ các điều kiện ràng buộc, hay có thể phân tích và chuyển đổi các bài toán trong thực tế thành các bài toán dạng toán học,…