Иванов И.В. Машина Поста и Тьюринга

Дж. Булос, Р. Джеффри Вычислимость и логика Изд. "Мир"-М. , 1984. Счетность. Диагнолизация. Машины Тьюринга. Логика первого и второго порядка. Леммы Крейга. Теорема Рамсея.

Содержание Введение: Актуальность темы Понятие алгоритма Признаки алгоритмов Структуры данных и их представление в памяти ЭВМ Эффективность алгоритмов и методы её достижения Форма алгоритмов Эффективность алгоритмов Машина Тьюринга Краткое содержание курсовой работы Разработка эффективных алгоритмов: Типы алгоритмов Линейный алгоритм Задание 1 Алгоритмы разветвляющейся структуры Задание 2 Циклические вычислительные процессы Задание 3 Словесн...

В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с. Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчеслия Поста, комбинаторная неувязка Поста, неувязка определения применимости алгоритмов и всякое разное. Книга написана на высочайшем математическом уровне.

Автор неизввестен. Сборник статей. Фрагмент книги, с. 213- 278. Выходных данных нет. Статьи: Шеннон. Клод Э. "Универсальная машина Тьюринга с двумя внутренними состояниями " Дэвис М. Д. "Замечание об универсальных машинах Тьюринга" Маккартни Дж. "Обращение функций, определяемых машинами Тьюринга" К. де Леу, Э. Ф. Мур, К. Э. Шеннон, Н. Шапиро "Вычислимость на вероятностных машинах"

Уч-метод. пособие - М.: ВМК МГУ, 2006. – 47 с. Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих семинарские занятия по программированию. Содержание: Машина Тьюринга. Кра...

М.: МГУ, 2006. – 47 с. Учебно-методическое пособие Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих семинарские занятия по программированию.

24 слайда//Теория алгоритмов это. Возникновение теории алгоритмов. Модели вычисления. Машина Тьюринга. Машина Поста. Устройство машины Тьюринга.

Автор неизвестен. г. Екатеринбург, 2009. 73 слайда.Происхождение слова алгоритм. Варианты протекания алгоритмического процесса. Основные черты алгоритма. Алгоритмический процесс . Десятая проблема Гильберта. Направления формализации понятия алгоритм. Машина Тьюринга. Нормальные алгорифмы Маркова. Конструктивные объекты.

Для контроля знаний предлагается программа ASSIST2, для которой приведены тесты по дисциплине "Теория алгоритмов". Содержатся вопросы по машинам Тьюринга и Поста. Дружеский интерфейс позволяет автоматически получить оценку по пятибальной системе.

Ответы на вопросы: Машина Тьюринга. Конструирование МТ. Вычислимые по Тьюрингу функции: ПРФ, ЧРФ. Правильная вычислимость. Уточнение понятия алгоритма через машину с неограниченными регистрами. нормальные алгоритмы Маркова. Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечислимость, множество n-ок нат чисел, диагональная конструкция, главные универсальные функции, универсальная ОРФ, перечислимое неразрешимое множество.r...