ЗАДАЧИ И УПРАЖНЕНИЯ по математической логике, дискретным функциям и теории алгоритмов