«Вычислимость на абаке и рекурсивные функции»

Цель данной работы – изучить вычисли­мость на абаке, вычислимость машиной Тьюринга и доказать их эквивалент­ность понятию рекурсивной функции. Рекомендуется следующий план работы:

1. Разобрать такие основополагающие понятия теории алгоритмов, как машина Тьюринга, рекурсивная функция и тезис Черча (/1/, с. 36-54).
2. Рассмотреть понятие «обычного» компьютера, введенное Иоахи­мом Ламбеком и названное им абаком, доказать, что вычислимость функ­ции абаком сводится к вычислимости ее машиной Тьюринга (/1/, с. 78-95).
3. Доказать, что рекурсивные функции вычислимы на абаках (/1/, с. 100-122).
4. Доказать, что вычислимые функции рекурсивны (/1/, с. 100-122).
5. Разобрать решения всех примеров из цитированных разделов книги /1/ и решить задачи 6.1- 6.4 из упражнения на стр. 96 в книге /1/. Литература, рекомендуемая для изучения темы:
6. Булос Дж., Джеффри Р. Вычислимость и логика. – М.: Мир, 1994.

В прикрепленном файле можете посмотреть другие примерные планы работы и дополнительные источники литературы. Выбрать по какому именно плану писать курсовую можете самостоятельно. Также к заказу прикреплена "рыба" работы и требования к оформлению. Очень важно правильное оформление и форматирование для курсовой( все по ГОСТу. Все формулы должны быть набраны в нормальном редакторе). Обязательно оформленный список литературы.Срок выполнения работы стоит формальный(как и сумма оплаты), готова обсудить количество времени и оплату индивидуально.