Машина Тьюринга
Машина Тьюринга как абстрактная машина, математическая модель идеализированного вычислительного устройства. Порядок работы машины Тьюринга, часто задаваемый в виде таблицы. Вычислимые функции. Разделение процесса вычисления на простые составляющие шаги.
| Рубрика | Математика |
| Предмет | Дискретная математика |
| Вид | презентация |
| Язык | русский |
| Прислал(а) | Геннадий |
| Дата добавления | 17.04.2013 |
| Размер файла | 1,8 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Машина Тьюринга как абстрактный исполнитель, осуществляющий алгоритмический процесс. Внешний и внутренний алфавит. Главные функции, цели и возможности памяти и каретки. Описание работы машины. Общий вид решения, записанного с помощью конфигураций.
презентация [1,3 M], добавлен 01.02.2015Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
курсовая работа [258,7 K], добавлен 22.05.2015Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Определение вероятности, что машина с неисправной ходовой частью имеет также неисправный мотор. Методика вычисления дисперсии. Проверка статистических гипотез и дисперсионный анализ. Формирование контрольных карт, их содержание и принципы построения.
курсовая работа [686,4 K], добавлен 31.01.2015Рассмотрение статических и динамических характеристик машины. Выбор математической модели систем электроприводов. Расчет параметров двигателя постоянного тока. Аппроксимация полученной переходной характеристики элементарными динамическими звеньями.
курсовая работа [833,3 K], добавлен 18.04.2014Математическая модель: определение интеграла и его геометрический смысл. Приближённые методы вычисления. Формула прямоугольников, трапеций, парабол. Программа для вычисления значения интеграла методом трапеций в среде пакета Matlab. Цикл if и for.
контрольная работа [262,8 K], добавлен 05.01.2015Задачи и методы линейной алгебры. Свойства определителей и порядок их вычисления. Нахождение обратной матрицы методом Гаусса. Разработка вычислительного алгоритма в программе Pascal ABC для вычисления определителей и нахождения обратной матрицы.
курсовая работа [1,1 M], добавлен 01.02.2013Проектирование математической модели. Описание игры в крестики-нолики. Модель логической игры на основе булевой алгебры. Цифровые электронные устройства и разработка их математической модели. Игровой пульт, игровой контроллер, строка игрового поля.
курсовая работа [128,6 K], добавлен 28.06.2011Краткие биографические данные от Джоне Непере - шотландском математике, изобретателе логарифмов и замечательного вычислительного инструмента - таблицы логарифмов. Математические заслуги Брадиса; его Таблицы. Изобретение первой логарифмической линейки.
презентация [5,3 M], добавлен 30.10.2013
