+7(996)961-96-66
+7(964)869-96-66
+7(996)961-96-66
Заказать помощь

Реферат на тему Логика предикатов с равенством

ОПИСАНИЕ РАБОТЫ:

Предмет:
АЛГЕБРА ЛОГИКИ И ТЕОРИЯ АЛГОРИТМОВ
Тема:
Логика предикатов с равенством
Тип:
Реферат
Объем:
10 с.
Дата:
28.03.2016
Идентификатор:
idr_1901__0000238
ЦЕНА:
 

150
руб.

Как скачать реферат, курсовую бесплатно?


Внимание!!!
Ниже представлен фрагмент данной работы для ознакомления.
Вы можете купить данную работу прямо сейчас!
Просто нажмите кнопку "Купить" справа.

Оплата онлайн возможна с Яндекс.Кошелька, с банковской карты или со счета мобильного телефона (выберите, пожалуйста).
ЕСЛИ такие варианты Вам не удобны - Отправьте нам запрос данной работы, указав свой электронный адрес.
Мы оперативно ответим и предложим Вам более 20 способов оплаты.
Все подробности можно будет обсудить по электронной почте, или в Viber, WhatsApp и т.п.
 


Логика предикатов с равенством - работа из нашего списка "ГОТОВЫЕ РАБОТЫ". Мы помогли с ее выполнением и она была сдана на Отлично! Работа абсолютно эксклюзивная, нигде в Интернете не засвечена и Вашим преподавателям точно не знакома! Если Вы ищете уникальную, грамотно выполненную курсовую работу, реферат, реферат и т.п. - Вы можете получить их на нашем ресурсе.
Вы можете заказать реферат Логика предикатов с равенством у нас, написав на адрес i@referatmaster.ru.
Обращаем ваше внимание на то, что скачать реферат Логика предикатов с равенством по предмету АЛГЕБРА ЛОГИКИ И ТЕОРИЯ АЛГОРИТМОВ с сайта нельзя! Здесь представлено лишь несколько первых страниц и содержание этой эксклюзивной работы - для ознакомления. Если Вы хотите получить реферат Логика предикатов с равенством (предмет - АЛГЕБРА ЛОГИКИ И ТЕОРИЯ АЛГОРИТМОВ) - пишите.



Фрагмент работы:





Содержание


Введение 3
1. Логика предикатов – общий обзор 4
2. Логика предикатов с равенством 6
Заключение 7
Список используемой литературы 9

Введение

В данной работе рассматривается тема «Логика предикатов с равенством».
Логика предикатов – это раздел символической логики, изучающий рассуждения и другие языковые контексты с учётом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально, то есть как знаки некоторых функций или же как знаки аргументов этих функций.
Первопорядковая логика может быть модифицирована за счёт расширения выразительных возможностей её языка. Наиболее естественным расширением является введение отношения равенства между индивидами (тождества индивидов).
Цель работы – выявить сущность логики предикатов с равенством.
Объект исследования – логика предикатов с равенством.
Задачи исследования вытекают из поставленной цели:
– дать общую характеристику логики предикатов;
– рассмотреть логикe предикатов с равенством.
Классическая логика предикатов с равенством строится следующим образом. Алфавит пополняется выделенной двухместной предикаторной константой равенства =. Появляется новый тип формул: t1 =t2, где t1 и t2 – термы. В семантике константе = в качестве значения сопоставляется множество всех пар, где u – элемент универсума U (или же предметно-истинностная функция, которая ставит в соответствие значение И только парам одинаковых объектов из U). Формула t1 = t2 примет значение И в некоторой модели при распределении ? значений предметных переменных, если и только если значения термов t1 и t2 в данной модели при данном распределении совпадают. Остальные семантические понятия остаются прежними.
Рассмотрим подробнее логику предикатов с равенством.

1. Логика предикатов – общая характеристика

Логика предикатов – раздел современной логики символической,