Tác giả: PGS. TS. Đỗ Đức Giáo.

Nhà Xuất bản: Giáo dục. Năm XB: 2008. Số trang: 407Tr.

Mục lục

Phần 1: Kiến thức bổ trợ

Chương 1: Các khái niệm cơ bản của thuật toán và phương pháp đệ quy. Chương 2: Các phương pháp đếm. Chương 3: Quan hệ.

Phần 2: Logic và ứng dụng

Chương 4: Logic mệnh đề. Chương 5: Logic vị từ. Chương 6: Hệ toán mệnh đề

Phần 3: Đồ thị và ứng dụng

Chương 7: Lý thuyết đồ thị. Chương 8: Cây và ứng dụng của cây.

Phần 4: Ngôn ngữ hình thức

Chương 9: Văn phạm và ngôn ngữ sinh bởi văn phạm. Chương 10: Ôtômat hữu hạn và ngôn ngữ đoán nhận của nó. Chương 11: Ôtômat đẩy xuống đoán nhận ngôn ngữ phi ngữ cảnh. Chương 12: Máy Turing không đơn định đàn hồi đoán nhận ngôn ngữ văn phạm.