Задача по математической логике
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
((A> B)> C) ? A? (B?C)Задача по теории алгоритмов
Построить Машину Тьюринга, которая обращает любое входное слово в заданном алфавите. Указание: используйте программу Машина Тьюринга, удваивающей заданное слово, и сочетания МТ.
(расписать на бумаге)
