Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. -106 с.
Учебное пособие предназначено для студентов университета, изучающих "Математическую логику". В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике.
ОГЛАВЛЕНИЕ
3 Логика реляционная......................................................3
3.1 Реляционная алгебра........................................................10
3.1.1 Унарные операторы.......................................................13
3.1.1.1 Основные операторы..........................................................13
3.1.1.2 Дополнительные операторы.......................................................21
3.1.2 Бинарные операторы......................................................................24
3.1.2.1 Основные операторы...................................................................24
3.1.2.2 Дополнительные операторы.......................................................29
3.1.3 Правила реляционной алгебры......................................................35
3.2 Реляционное исчисление...................................................................37
3.2.1 Реляционное исчисление с переменными-кортежами.................37
3.3 Языки реляционной логики...............................................................44
Контрольные вопросы..................................................................51
Расчетно-графическая работа......................................................54
4 Логика нечетких множеств и отношений..........................................65
4.1 Нечеткие множества..........................................................................65
4.1.1 Определение степени принадлежности.......................................70
4.1.2 Операции над нечеткими множествами.......................................76
4.2 Нечеткие соответствия и отношения...............................................81
4.2.1 Операции над нечеткими соответствиями и отношениями........85
4.3 Нечеткие высказывания, формулы и прекдикаты..........................91
4.4 Логика нечетких высказываний.......................................................93
4.5 Экспертные системы.........................................................................96
Контрольные вопросы...........................................................100
Предметный указатель....................................................................102
Литература...............................................................................104
