Создан заказ №1074036
5 апреля 2016
Основные понятия, пространства символов и примитивные операции в машине Поста
Как заказчик описал требования к работе:
Реферат нужен на 5-6 страниц, до 14.04.2016
Предмет:математическая логика
Фрагмент выполненной работы:
Введение.
Более восьмидесяти лет назад в 1936 году в 3-м, сентябрьском номере 1-го тома в «Журнале символической логики» («The Journal of Symbolic Logic») американским математиком Эмилем Л. Постом была опубликована статья «Финитные комбинаторные процессы, формулировка 1» (Emil L. Post «Finite combinatory processes — formulation 1»). В это же время одновременно в Трудах Лондонского математического общества вышла статья английского математика Тьюринга «О вычисляемых числах с приложением к проблеме разрешения». (работа была выполнена специалистами Автор 24) В указанных работах были даны первые уточнения понятия «алгоритм», которое является одним из центральных понятий математической логики и информатики. В опубликованной статье Э. Пост показал, что любой конечный вычислительный процесс можно свести к манипулированию конечным последовательным набором из нулей и единиц. Эти работы также замечательны тем, что в них до появления первых вычислительных машин (в первое время электромеханических) были предвосхищены в абстрактной форме основные принципиальные черты подобных машин. В указанных работах разработанные конструкции были предложены в виде «абстрактных машин» у Тьюринга в явной форме, у Поста в неявной – у него термин «машина» отсутствует.
Профессор В. Успенский в 1967 пересмотрел эти статьи с новых позиций и ввел термин «машина Поста». Машина Поста – абстрактная вычислительная машина, работающая по алгоритмам, которые разработал человек. Машина Поста решает следующую проблему: если для решения задачи можно построить машину Поста, то она алгоритмически разрешима. В Симферопольском университете в 1970 году было изготовлено устройство моделирующее работу машины Поста. [1].
Здесь необходимо отметить, что обе работы были написаны под влиянием теоремы Геделя о неполноте и проблемы «неразрешимости Гильберта. В своей статье Е. Пост пишет: «Предлагаемая формулировка может представить интерес при развитии символической логики в направлении, намеченном теоремой Гёделя о неполноте символических логик] и результатом Чёрча относительно абсолютно неразрешимых проблем.
Мы имеем в виду общую проблему, состоящую из множества конкретных проблем. Решением общей проблемы будет такое решение, которое доставляет ответ для каждой конкретной проблемы.» [1]Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
6 апреля 2016
Заказ завершен, заказчик получил финальный файл с работой
5
Основные понятия, пространства символов и примитивные операции в машине Поста.docx
2016-06-19 21:53
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Работа в целом хорошая! Защитилась на 4! Но, не было заключения. И список литературы очень короткий- всего 3 -4 автора. Сама дописывала. Автору спасибо. У меня было достаточно времени, чтобы подредактировать работу под себя.
Хочешь такую же работу?
300 ₽
