Алгоритмическая машина Тьюринга
Основные свойства машины Тьюринга, отличающие ее от исполнителя – человека. Понятие конфигураций машины Тьюринга. Основные свойства операции композиции. Примеры вычислимых функций по Тьюрингу. Операция ветвления и зацикливания, их ключевые особенности.
Рубрика | Математика |
Вид | презентация |
Язык | русский |
Дата добавления | 21.10.2019 |
Размер файла | 907,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.
Подобные документы
Машина Тьюринга как абстрактный исполнитель, осуществляющий алгоритмический процесс. Внешний и внутренний алфавит. Главные функции, цели и возможности памяти и каретки. Описание работы машины. Общий вид решения, записанного с помощью конфигураций.
презентация [1,3 M], добавлен 01.02.2015Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
курсовая работа [258,7 K], добавлен 22.05.2015Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Понятие числовых функций с областью определения, аргумент и области их значений, свойства и графическое выражение. Определение четных и нечетных функций, периодичность тригонометрических функций. Свойства, используемые при построении их графиков.
презентация [22,9 K], добавлен 13.12.2011Бинарные отношения на множестве. Рефлективность, примеры рефлективности. Симметричность, транзитивность, отношение порядка. Примеры дестрибутивных и недестребутивных решеток. Основные определения и свойства теории структур. Операции над множествами.
курсовая работа [64,0 K], добавлен 04.06.2015Общий обзор свойств функций, осмысление каждого свойства. Исследование функции на монотонность, ее наибольшее и наименьшее значения. Тестовое задание "Выпуклость функции". Примеры непрерывной функции D(f)=[-4; 6] и прерывной функции D(f)=(1; 7).
презентация [360,5 K], добавлен 13.01.2015Пределы функций и их основные свойства, операция предельного перехода, бесконечно малые функции. Производная функции, важнейшие правила дифференцирования, правило Лопиталя. Применение дифференциала функции в приближенных вычислениях, построение графиков.
методичка [335,2 K], добавлен 18.05.2010Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.
учебное пособие [223,0 K], добавлен 04.03.2010Понятие многогранной поверхности, виды многоугольников. Грани, стороны и вершины многогранников. Свойства пирамиды, призмы и параллелепипеда. Объем многогранника, его измерение с помощью выбранной единицы измерения объемов. Основные свойства объемов.
реферат [73,5 K], добавлен 08.05.2011