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