Nội dung sách giới thiệu khái quát về mệnh đề logic, các thuật toán cơ bản cũng như nguyên lý và các quy tắc của bài toán đếm, tính chất cơ bản của đồ thị và tổng hợp các thuật toán để giải các bài toán tối ưu trên đồ thị, cây và một số ứng dụng khác của cây.