Файл: Matlog.doc

СОДЕРЖАНИЕ

Министерство образования российской федерации

Содержание

Тема 1. Логика высказываний

1.1. Определение высказывания

1.2. Операции над высказываниями. Алгебра высказываний

1.3. Формулы логики высказываний. Равносильность формул

1.4. Запись сложного высказывания в виде формулы логики высказываний

1.5. Нормальные формы

1.6. Тождественно-истинные и тождественно-ложные формулы. Проблема разрешимости

1.7.Формализация рассуждений. Правильные рассуждения

Контрольные вопросы к теме 2

Тема 2. Логика предикатов

2.1. Определение предиката. Кванторы

2.2. Формулы логики предикатов. Равносильность формул

2.3. Приведенные и нормальные формулы

2.4. Выражение суждения в виде формулы логики предикатов

2.5. Интерпретация формулы логики предикатов в виде суждения. Выполнимость. Общезначимость

Контрольные вопросы к теме 2

Тема 3. Формальные аксиоматические теории (исчисления)

3.1. Принципы построения формальных теорий

3.2. Исчисление высказываний

3.3. Исчисление предикатов

3.4. Автоматическое доказательство теорем. Метод резолюций.

Тема 4. Нечеткая логика

4.1. Нечеткие множества

Для обычного четкого множества a можно положить

Операции с нечеткими множествами

4.2. Нечеткие высказывания

4.3. Нечеткие предикаты

Тема 5. Алгоритмы

5.1. Определение алгоритма

5.2. Машина Тьюринга

5.3. Вычислимые по Тьюрингу функции

Ответы на контрольные вопросы

Тема 2.

Указания к выполнению лабораторных работ

Контрольные задания по курсу "Математическая логика и теория алгоритмов"

Вариант №4

Вариант №4

Варианты индивидуальных заданий

Вопросы к экзамену по курсу “Математическая логика” (2 курс)

Список рекомендованной литературы

Краткие сведения о математиках