Пособие по Математической Логике
Содержание.
Введение.
Исчисление высказываний.
Высказывания.
Формулы.
Выполнимые и общезначимые формулы.
Алгебраический подход.
Дизъюнкты и нормальные формы.
Логический вывод.
Прямой вывод.
Доказательство «от противного».
Метод резолюций.
Фразы Хорна.
Примеры использования метода резолюций в логике высказываний.
Непротиворечивость аксиом.
Аксиоматизация логики высказываний.
Исчисление предикатов.
Предикаты.
Применение логических связок.
Кванторы.
Свободные и связанные переменные.
Предикатные формулы.
Предварённая нормальная форма.
Сколемовская и клаузальная формы.
Метод резолюций в логике предикатов.
Принцип логического программирования.
Литература.
Введение.
Исчисление высказываний.
Высказывания.
Формулы.
Выполнимые и общезначимые формулы.
Алгебраический подход.
Дизъюнкты и нормальные формы.
Логический вывод.
Прямой вывод.
Доказательство «от противного».
Метод резолюций.
Фразы Хорна.
Примеры использования метода резолюций в логике высказываний.
Непротиворечивость аксиом.
Аксиоматизация логики высказываний.
Исчисление предикатов.
Предикаты.
Применение логических связок.
Кванторы.
Свободные и связанные переменные.
Предикатные формулы.
Предварённая нормальная форма.
Сколемовская и клаузальная формы.
Метод резолюций в логике предикатов.
Принцип логического программирования.
Литература.
Категорії:
Мова:
russian
ISBN 10:
1174395745
ISBN 13:
9781174395741
Файл:
DOC, 335 KB
IPFS:
,
russian0