Логика, автоматы, алгоритмы (Айзерман М.А.)