Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов