Математическая логика и теория алгоритмов. Методичка

31 мая 2010, 15:33

В.Ф. Пономарев Математическая логика. часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001.
В.Ф. Пономарев Математическая логика. часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001.

Введение.
1. Логика высказываний.
1.1. Алгебра высказываний.
1.1.1. Логические операции.
1.1.2. Правила записи сложных формул.
1.1.3. Законы алгебры логики.
1.1.4. Эквивалентные преобразования формул.
1.1.5. Нормальные формы формул.
1.1.5.1. Алгоритм приведения к нормальной форме.
1.1.5.2. Алгоритм преобразования ДНФ к виду СДНФ.
1.1.5.3. Алгоритм преобразования КНФ к виду СКНФ.
1.2. Исчисление высказываний.
1.2.1. Интерпретация формул.
1.2.2. Аксиомы исчисления высказываний.
1.2.3. Правила вывода.
1.2.3.1. Правила подстановки.
1.2.3.2. Правила введения и удаления логических связок.
1.2.3.3. Правила заключения.
1.3. Метод дедуктивного вывода.
1.4. Принцип резолюции.
1.4.1. Алгоритм вывода по принципу резолюции.
1.5. Проблемы исчисления высказываний.
1.6. Описание высказываний на языке Prolog.
Контрольные вопросы.
Расчетно-графическая работа.
2. Логика предикатов.
2.1. Алгебра предикатов.
2.1.1. Логические операции.
2.1.2. Правила записи сложных формул.
2.1.3. Законы алгебры предикатов.
2.1.4. Предваренная нормальная форма.
2.1.4.1. Алгоритм приведения формулы к виду ПНФ.
2.1.5. Сколемовская стандартная форма.
2.1.5.1. Алгоритм Сколева.
2.2. Исчисление предикатов.
2.2.1. Интерпретация формул.
2.2.2. Правила вывода.
2.2.2.1. Правила подстановки.
2.2.2.2. Правила введения и удаления кванторов.
2.2.2.3. Правила заключения.
2.2.3. Метод дедуктивного вывода.
2.2.4. Принцип резолюции.
2.3. Проблемы в исчислении предикатов.
2.4. Логическое программирование.
Контрольные вопросы.
Расчетно-графическая работа.
Литература.
Предметный указатель.
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. Экспертные системы.
Контрольные вопросы.
Предметный указатель.
Литература.

Калининградский государственный технический университет (КГТУ)
.doc 490 кб

Работы на заказ