Математическая логика и теория алгоритмов для специальности 220201 «Управление и информатика в технических системах»