Arbib M.A., Kfoury A.J., Moll R.N. A Basis for Theoretical Computer Science

Springer, 1981. — 228 p. — (Texts and Monographs in Computer Science). — ISBN 3‐540‐90573‐1.Классическая книга по основным понятиям алгоритмов, дискретной математики и теоретического программирования. Рассмотрены основные объекты и алгоритмы. Рассчитана на читателей с базовой математической подготовкой.Sets, Maps, and Relations
Induction, Strings, and Language
Counting, Recurrences, and Trees
Switching Circuits, Proofs, and Logic
Binary Relations, Lattices, and Infinity
Graphs, Matrices, and Machines