Создан заказ №2308487
6 октября 2017
Вычислимость на абаке и рекурсивные функции
Как заказчик описал требования к работе:
Цель данной работы – изучить вычислимость на абаке, вычислимость машиной Тьюринга и доказать их эквивалентность понятию рекурсивной функции. Рекомендуется следующий план работы:
Разобрать такие основополагающие понятия теории алгоритмов, как машина Тьюринга, рекурсивная функция и тезис Черча (/1/
, с. 36-54).
Рассмотреть понятие «обычного» компьютера, введенное Иоахимом Ламбеком и названное им абаком, доказать, что вычислимость функции абаком сводится к вычислимости ее машиной Тьюринга (/1/, с. 78-95).
Доказать, что рекурсивные функции вычислимы на абаках (/1/, с. 100-122).
Доказать, что вычислимые функции рекурсивны (/1/, с. 100-122).
Разобрать решения всех примеров из цитированных разделов книги /1/ и решить задачи 6.1- 6.4 из упражнения на стр. 96 в книге /1/. Литература, рекомендуемая для изучения темы:
Булос Дж., Джеффри Р. Вычислимость и логика. – М.: Мир, 1994.
В прикрепленном файле можете посмотреть другие примерные планы работы и дополнительные источники литературы. Выбрать по какому именно плану писать курсовую можете самостоятельно. Также к заказу прикреплена "рыба" работы и требования к оформлению. Очень важно правильное оформление и форматирование для курсовой( все по ГОСТу. Все формулы должны быть набраны в нормальном редакторе). Обязательно оформленный список литературы.Срок выполнения работы стоит формальный(как и сумма оплаты), готова обсудить количество времени и оплату индивидуально
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
9 октября 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Вычислимость на абаке и рекурсивные функции.docx
2017-10-12 10:51
Последний отзыв студента о бирже Автор24
Общая оценка
4.7
Положительно
Работа достаточно сложная, была выполнена сверх сроков, хорошего качества, все корректировки вносились быстро и без вопросов, хороший автор, приятно работать, всем советую, не пожалеете)
Хочешь такую же работу?
300 ₽
