Калининград: КГТУ, 2001. -140 с.
Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике.
Содержание:
Введение
3. Логика реляционная
3.1 Реляционная алгебра
3.1.1 Унарные операторы
3.1.1.1 Основные операторы
3.1.1.2 Дополнительные операторы
3.1.2 Бинарные операторы
3.1.2.1 Основные операторы
3.1.2.2 Дополнительные операторы
3.1.3 Правила реляционной алгебры
3.2 Реляционное исчисление
3.2.1 Реляционное исчисление с переменными-кортежами
3.3 Языки реляционной логики
Контрольные вопросы
Расчетно-графическая работа
4 Логика нечетких множеств и отношений
4.1 Нечеткие множества
4.1.1 Определение степени принадлежности
4.1.2 Операции над нечеткими множествами
4.2 Нечеткие соответствия и отношения
4.2.1 Операции над нечеткими соответствиями и отношениями
4.3 Нечеткие высказывания, формулы и прекдикаты
4.4 Логика нечетких высказываний
4.5 Экспертные системы
Контрольные вопросы
Предметный указатель.
Литература
Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике.
Содержание:
Введение
3. Логика реляционная
3.1 Реляционная алгебра
3.1.1 Унарные операторы
3.1.1.1 Основные операторы
3.1.1.2 Дополнительные операторы
3.1.2 Бинарные операторы
3.1.2.1 Основные операторы
3.1.2.2 Дополнительные операторы
3.1.3 Правила реляционной алгебры
3.2 Реляционное исчисление
3.2.1 Реляционное исчисление с переменными-кортежами
3.3 Языки реляционной логики
Контрольные вопросы
Расчетно-графическая работа
4 Логика нечетких множеств и отношений
4.1 Нечеткие множества
4.1.1 Определение степени принадлежности
4.1.2 Операции над нечеткими множествами
4.2 Нечеткие соответствия и отношения
4.2.1 Операции над нечеткими соответствиями и отношениями
4.3 Нечеткие высказывания, формулы и прекдикаты
4.4 Логика нечетких высказываний
4.5 Экспертные системы
Контрольные вопросы
Предметный указатель.
Литература