Машина Тьюринга и невычислимые функции
Машина Тьюринга — абстрактный исполнитель, предназначенный для формализации понятия алгоритма. Описание и устройство машины: основные свойства, продуктивность; тезис Черча. Машина Тьюринга и алгоритмически неразрешимые функции. Проблема остановки машины.
| Рубрика | Математика |
| Вид | курсовая работа |
| Язык | русский |
| Дата добавления | 18.02.2014 |
| Размер файла | 25,6 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Машина Тьюринга как абстрактный исполнитель, осуществляющий алгоритмический процесс. Внешний и внутренний алфавит. Главные функции, цели и возможности памяти и каретки. Описание работы машины. Общий вид решения, записанного с помощью конфигураций.
презентация [1,3 M], добавлен 01.02.2015Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
курсовая работа [258,7 K], добавлен 22.05.2015Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Рассмотрение статических и динамических характеристик машины. Выбор математической модели систем электроприводов. Расчет параметров двигателя постоянного тока. Аппроксимация полученной переходной характеристики элементарными динамическими звеньями.
курсовая работа [833,3 K], добавлен 18.04.2014Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций [652,4 K], добавлен 29.11.2009Способы задавания функции: табличный, графический и аналитический. Область определения и область значений функции, промежутки ее знакопостоянства. Свойства постоянной функции. Множества значений функции y=arctgx. Основные свойства функции y=sinx.
реферат [799,4 K], добавлен 22.06.2019Понятия целой и дробной частей действительного числа. Основные свойства функции и ее график. Применение свойств функции y = [x] при решении уравнений и геометрических задач. Описание реальных процессов непрерывными функциями. Решение задач на делимость.
курсовая работа [487,7 K], добавлен 29.05.2016Различные трактовки понятия функции в школьном курсе математики. Функция и задание ее аналитическим выражением. Область определения функции и область значений функции. Тесты по теме "Числовые функции. Четные и нечетные функции. Периодические функции".
дипломная работа [213,1 K], добавлен 07.09.2009Понятие генетического алгоритма и механизм минимизации функции многих переменных. Построение графика функции и ее оптимизация. Исследование зависимости решения от вида функции отбора родителей для кроссинговера и мутации потомков, анализ результатов.
контрольная работа [404,7 K], добавлен 04.05.2015Понятие и основные свойства обратной функции. Нахождение функции, обратной данной. Область определения функции. Обратимость монотонной функции. Построение графиков функций и определение их свойств. Симметричность графиков функций относительно прямой у=х.
презентация [98,6 K], добавлен 18.01.2015Общий обзор свойств функций, осмысление каждого свойства. Исследование функции на монотонность, ее наибольшее и наименьшее значения. Тестовое задание "Выпуклость функции". Примеры непрерывной функции D(f)=[-4; 6] и прерывной функции D(f)=(1; 7).
презентация [360,5 K], добавлен 13.01.2015Понятие функции как важнейшее понятие математики, ее общие свойства. Особенности обратной функции, ее экстремумы. Наибольшее и наименьшее значение функции, ее периодичность, четность и нечетность. Нуль функции, промежутки знакопостоянства, монотонность.
презентация [86,8 K], добавлен 18.12.2014Форма для ввода целевой функции и ограничений. Характеристика симплекс-метода. Процесс решения задачи линейного программирования. Математическое описание алгоритма симплекс-метода. Решение задачи ручным способом. Описание схемы алгоритма программы.
контрольная работа [66,3 K], добавлен 06.04.2012Описание сущности функции, которая была введена немецким математиком П.В. Дирихле как пример функции, свободной от аналитического задания значения. Характеристика и описание ряда ее свойств и области определения методами математического анализа.
курсовая работа [44,8 K], добавлен 23.11.2011Область определения и свойства функции (четность, нечетность, периодичность). Точки пересечения функции с осями координат. Непрерывность функции. Характер точек разрыва. Асимптоты. Экстремумы функции. Исследование функции на монотонность. Точки перегиба.
презентация [298,3 K], добавлен 11.09.2011Предел для функции действительного аргумента и для функции комплексного переменного. Формулировка необходимого условия дифференцируемости функции комплексного переменного (условие Коши-Римана). Понятия и примеры правильных и особых точек функции.
презентация [74,9 K], добавлен 17.09.2013Понятие мероморфной функции и ее основные свойства. Характеристика теоремы Миттаг-Леффлера. Общий вид мероморфной функции с заданными полюсами, ее представление в виде суммы целой функции и ряда рациональных функций. Разбор случая простых полюсов.
курсовая работа [357,6 K], добавлен 20.07.2015Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа [43,2 K], добавлен 27.04.2011Пределы функций и их основные свойства, операция предельного перехода, бесконечно малые функции. Производная функции, важнейшие правила дифференцирования, правило Лопиталя. Применение дифференциала функции в приближенных вычислениях, построение графиков.
методичка [335,2 K], добавлен 18.05.2010
