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

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

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

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


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


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



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





Содержание


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

Введение

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

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

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


Посмотреть другие готовые работы по предмету АЛГЕБРА ЛОГИКИ И ТЕОРИЯ АЛГОРИТМОВ