Bộ sách Cơ Sở Của Khoa Học Máy Tính (được chia thành 3 tập) do hai tác giả Alfred V.Aho và Jeffrey D. Ullman biên soạn. Trong bộ sách này (ấn bản C), với hiểu biết và kinh nghiệm của hơn 30 năm nghiên cứu và giảng dạy nhiều lĩnh vực phức tạp nhất của khoa học máy tính, hai tác giả đã thâu tóm các vấn đề chính của ngành khoa học này qua 14 chương của bộ sách, một tích hợp chặt chẽ và thống nhất cho các môn học từng được giảng dạy độc lập như toán rời rạc, cấu trúc dữ liệu và thuật toán, automat và ngôn ngữ hình thức… Bộ sách đã đưa ra một hình ảnh thống nhất và xuyên suốt, xây dựng một bộ khung cơ sở cho mọi sinh viên, không những cho sinh viên chuyên ngành máy tính mà cả cho những sinh viên của các chuyên ngành khác.
Tập 3 đề cập đến các mô hình được xem là cơ sở toán cho khoa học máy tính. Nội dung của tập này có liên quan và được ứng dụng trong nhiều lãnh vực phức tạp nhất của khoa học máy tính. Mô hình logic mệnh đề với các qui tắc suy luận nằm trong Chương 12; ứng dụng của nó trong việc thiết kế các mạch điện tử được dành cho Chương 13. Các mô hình toán học về các trạng thái của máy tính và chương trình, được ứng dụng trong việc thiết kế các phần mềm, đặc biệt là lãnh vực xử lý ngôn ngữ, được trình bày trong Chương 10 (automat và biểu thức chính qui) và Chương 11(văn phạm phi ngữ cảnh và ngôn ngữ hình thức) mà bản chất là các kỹ thuật so mẫu hay đối sánh mẫu. Cuối cùng Chương 14 đề cập đến logic vị từ, một mô hình biểu diễn và xử lý tri thức, là cơ sở cho chuyên ngành Trí tuệ nhân tạo và cho một hướng lý thuyết của cơ sở dữ liệu là cơ sở tri thức.