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

Nhà xuất bản Đại học Quốc gia Hà Nội; Năm XB: 2000. Mô tả: 456Tr, kích thước: 14,5x20,5 cm. Số định danh: 519.7 Gi108. Vị trí: Phòng Học liệu Quốc văn 1.

Nội dung:

Khái niệm thuật toán - Phương pháp quy nạp - Phương pháp đệ qui. Quan hệ. Đồ thị hữu hạn. Cây. Nhập môn về văn phạm và ngôn ngữ hình thức. Ôtômat hữu hạn đoán nhận ngôn ngữ phi ngữ cảnh. Lôgic toán. Đại số Boole