Дипломная работа

от 20 дней
от 9999 рублей

Заказать

Курсовая работа

от 10 дней
от 1999 рублей

Заказать

Реферат

от 3 дней
от 699 рублей

Заказать

Контрольная работа

от 3 дней
от 99 рублей
за задачу

Заказать

Диссертация

Сроки и стоимость индивидуальные

Заказать

Главная - Логика - Логика предикатов с одним переменным.

Логика предикатов с одним переменным. Логика. Курсовая

  • Тема: Логика предикатов с одним переменным.
  • Автор: Сергей Пашков
  • Тип работы: Курсовая
  • Предмет: Логика
  • Страниц: 11
  • Год сдачи: 2000
  • ВУЗ, город: Коряжма
  • Цена(руб.): 1500 рублей

Заказать персональную работу

Выдержка

ВВЕДЕНИЕ

Проблема разрешимости эта проблема ставится для формул исчисления предикатов, лишённых символов постоянных предметов и символов индивиду-альных предикатов. В последующем изложении предполагается, что рассмат-риваемые формулы таковы (если не сделано специальных оговорок).
Каждая такая формула представляет собой определённое утверждение, ис-тинное или ложное, когда оно относится к определённому полю M.
Если такая формула истинна для некоторого поля M и некоторых предика-тов, на нём определённых, мы будем называть её выполнимой.
Если формула истинна для данного поля M и для всех предикатов, опреде-лённых на M, мы будем называть её тождественно истинной для поля M.
Если формула истинна для всякого поля M и для всяких предикатов, будем называть её тождественно истинной или просто истинной.
Формула называется ложной или невыполнимой, если ни для какого поля ни при каких замещениях предикатов она не является истинной. Легко показать, что если формула U тождественно истинна, то формула ложна, и наоборот.
Постановка проблемы разрешимости для логики предикатов аналогична по-становке этой проблемы для алгебры высказываний. Её решение и является це-лью данной курсовой работы. Итак, проблема ставится следующим образом: дать эффективный способ для определения является ли данная формула вы-полнимой или нет.
Умея решать вопрос о выполнимости, мы тем самым сможем решать и во-прос об истинности любой формулы. В самом деле, если формула U истинна, то формула невыполнима, и обратно. Поэтому, доказав выполнимость или невыполнимость , мы тем самым проверим истинность U. Проблема разре-шимости для логики предикатов является усилением проблемы разрешимости для исчисления высказываний, так как все формулы исчисления высказываний входят в число формул логики предикатов. Однако в то время как решение проблемы разрешимости для исчисления высказываний никаких трудностей не представляет, проблема разрешимости для логики предикатов оказалась свя-занной с серьёзными трудностями.
Современные исследования пролили свет на природу этих затруднений. В настоящее время представляется достаточно ясным, что решение этой пробле-мы в указанном смысле вообще невозможно. Иначе говоря, не может сущест-вовать никакого конструктивного правила, которое позволяло бы определять для любой формулы логики предикатов, является ли она тождественно истин-ной или нет. Для некоторых частных типов формул, однако, проблема разре-шимости решается. Мы рассмотрим наиболее важный тип формул, для которых решение проблемы разрешимости может быть осуществлено, это формулы ло-гики предикатов, зависящие от одного переменного.

Содержание

Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3
Основные понятия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4
§1. Логика предикатов с одним переменным . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
§2. Практика по решению проблемы разрешимости формул, содержащих пре-дикаты от одного переменного . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9

Литература

Нет.

Форма заказа

Заполните, пожалуйста, форму заказа, чтобы менеджер смог оценить вашу работу и сообщил вам цену и сроки. Все ваши контактные данные будут использованы только для связи с вами, и не будут переданы третьим лицам.

Тип работы *
Предмет *
Название *
Дата Сдачи *
Количество Листов*
уточните задание
Ваши Пожелания
Загрузить Файлы

загрузить еще одно дополнение
Страна
Город
Ваше имя *
Эл. Почта *
Телефон *
  

Название Тип Год сдачи Страниц Цена
Математическая логика в младших классах. Курсовая 2004 56 1500
Совершенствование системы взаимодействия логистики и маркетинга ( на примере организации) Курсовая 2008 44 1500
Синонимические ряды Курсовая 2010 28 1500
Логика формальная и диалектическая Курсовая 2011 25 1500
Контрольная по логике Курсовая 2011 5 1400
Логическая форма. Логические законы Курсовая 2008 25 1500
курсовые, дипломные, контрольные на заказ скидки на курсовые, дипломные, контрольные на заказ

© 2010-2016, Все права защищены. Принимаем заказы по всей России.