Неразрешимость логики первого порядка

Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.

Рубрика Математика
Предмет Математическая логика
Вид курсовая работа
Язык русский
Прислал(а) Эльмира
Дата добавления 16.02.2011
Размер файла 243,0 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.

    курсовая работа [207,1 K], добавлен 26.03.2012

  • Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.

    презентация [67,8 K], добавлен 23.12.2012

  • Практическое решение дифференциальных уравнений в системе MathCAD методами Рунге—Кутты четвертого порядка для решения уравнения первого порядка, Булирша — Штера - системы обыкновенных дифференциальных уравнений первого порядка и Odesolve и их графики.

    лабораторная работа [380,9 K], добавлен 23.07.2012

  • Дифференциальное уравнение первого порядка, разрешенное относительно производной. Применение рекуррентного соотношения. Техника применения метода Эйлера для численного решения уравнения первого порядка. Численные методы, пригодные для решения задачи Коши.

    реферат [183,1 K], добавлен 24.08.2015

  • Особенности выражения производной неизвестной функции. Общий вид дифференциального уравнения первого порядка, его решение. Сущность теоремы Коши (о существовании и единственности решения), её геометрический смысл. Общее и частное решение уравнения.

    презентация [77,7 K], добавлен 17.09.2013

  • Понятие и математическое описание элементов дифференциального уравнения как уравнения, связывающего искомую функцию одной или нескольких переменных. Состав неполного и линейного дифференциального уравнения первого порядка, их применение в экономике.

    реферат [286,2 K], добавлен 06.08.2013

  • В работе рассматриваются доказательства неразрешимости в рациональных ненулевых числах двух систем, которые легко касаются не только чисел, но и распространяются на рациональные функции, что, в конечном счёте, позволяет анализировать решение уравнения.

    творческая работа [123,8 K], добавлен 04.09.2010

  • Уравнения с разделяющимися переменными, методы решения. Практический пример нахождения частного и общего решения. Понятие о неполных дифференциальных уравнениях. Линейные уравнения первого порядка. Метод вариации постоянной, разделения переменных.

    презентация [185,0 K], добавлен 17.09.2013

  • Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.

    курсовая работа [185,3 K], добавлен 24.05.2015

  • Системы дифференциальных уравнений первого порядка. Положение равновесия системы. Численный расчет линеаризованной системы уравнений. Определение асимптотической устойчивости состояния равновесия системы в соответствии с первым методом Ляпунова.

    курсовая работа [3,0 M], добавлен 15.05.2012

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.