Прикладная дискретная математика. Логика. Графы. Автоматы. Алгоритмы. Кодирование