Категория
Логика
Тип
реферат
Страницы
13 стр.
Дата
20.09.2008
Формат файла
.doc — Microsoft Word
Архив
40422.zip — 89.4 kb
  • logika-predikatov-s-odnim-peremennym_40422_1.doc — 680 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо



Текст работы

Министерство Образования Российской ФедерацииПоморский Государственный Университет им. М. В. ЛомоносоваКУРСОВАЯ РАБОТА ПОМАТЕМАТИЧЕСКОЙ ЛОГИКЕНА ТЕМУ:
Логика предикатов с одним переменнымВыполнил студент II-го курсаматематического факультетаБережной Андрей ВитальевичКоряжма1997СОДЕРЖАНИЕВведение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3
Основные понятия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4§1. Логика предикатов с одним переменным . . . . . . . . . . . . . . . . . . . . . . . . . . . .5§2. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9
Литература . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
ВВЕДЕНИЕ
Проблема разрешимости — эта проблема ставится для формул исчисления предикатов, лишённых символов постоянных предметов и символов индивидуальных предикатов. В последующем изложении предполагается, что рассматриваемые формулы таковы (если не сделано специальных оговорок).
Каждая такая формула представляет собой определённое утверждение, истинное или ложное, когда оно относится к определённому полю M.
Если такая формула истинна для некоторого поля M и некоторых предикатов, на нём определённых, мы будем называть её выполнимой.
Если формула истинна для данного поля M и для всех предикатов, определённых на M, мы будем называть её тождественно истинной для поля M.
Если формула истинна для всякого поля M и для всяких предикатов, будем называть её тождественно истинной или просто истинной.
Формула называется



Ваше мнение



CAPTCHA