Контрольная работа по мат.логике и вычислимым функциям