Ký hiệu xếp giá: 510 Đ450Đ
Cuốn sách trình bày các vấn đề: kiến thức bổ trợ (các khái niệm cơ bản của thuật toán và phương pháp đệ quy, các phương pháp đếm, quan hệ); Logic và ứng dụng (logic mệnh đề, logic vị từ, hệ toán mệnh đề); đồ thị và ứng dụng (lý thuyết đồ thị, cây và ứng dụng của cây); ngôn ngữ hình thức (văn phạm...