Chương I: Lập bảng chân trị, Phủ định mệnh đề, Chứng minh mệnh đề, Lập mô hình suy luận.
Chương III: Tìm gcd, tìm nghịch đảo, Số học modulo, Biểu diễn theo cơ số, Biểu diễn theo phương trình đồng dư.
Chương IV: Kiểm tra tính chất quan hệ, Tính toán trên quan hệ, Tìm bao đóng bắc cầu, Lập biểu đồ Hasse.
Chương V: Kiểm tra tính liên thông, Giải bài toán tìm đường đi ngắn nhất, Tìm đường/chu trình Euler, Tìm đường/chu trình Hamilton.
Chương VI: Duyệt cây, Cây tìm kiếm, Cây khung, Đa thức tối tiểu.
Chương VII: Tìm, biểu diễn, rút gọn hàm Boole.
