Nội dung sách bao gồm:
Chương 1: Logic
Phép tính mệnh đề
Biểu thức logic
Các luật logic
Các dạng chính tắc
Qui tắc suy diễn
Vị từ, lượng từ
Chương 2: Logic (tiếp theo) các phương pháp chứng minh
Các phương pháp chứng minh cơ bản
Nguyên lý qui nạp
Chương 3: Phương pháp đếm
Tập hợp
Ánh xạ
Số nguyên
Các nguyên lý đếm
Phần đọc thêm
Chỉnh hợp
Tổ hợp
Hoán vị lặp và tổ hợp lặp
Nguyên lý chuồng bồ câu
Chương 4: Thuật toán
Thuật toán và cách biểu diễn thuật toán
Độ phức tạp của thuật toán
Thuật toán đệ qui
Một số thuật toán số học
Sự phân lớp bài toán
Thuật giải
Chương 5: Quan hệ
Quan hệ hai ngôi
Quan hệ tương đương
Quan hệ thứ tự
Dàn
Chương 6: Đại số Boole và hàm Boole
Các phép toán
Đại số Boole
Hàm Boole
Tài liệu tham khảo
Mời bạn đón đọc.