Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Экзаменационные вопросы (2013)

.docx
Скачиваний:
47
Добавлен:
28.06.2014
Размер:
20.05 Кб
Скачать

Программа экзамена по курсу

ДИСКРЕТНЫЕ МАТЕМАТИЧЕСКИЕ МОДЕЛИ

(лектор курса Вагин Вадим Николаевич)

  1. Знание в логических моделях.

  1. Характерные особенности знаний.

  1. Знание как обоснованное истинное убеждение.

  1. Не-факторы знания.

  1. Классические модальные логики.

  1. Исчисление предикатов первого порядка как основа для построения модальной логики.

  1. Вспомогательная логика как основа перехода к модальному исчислению высказываний.

  1. Постулаты, основные теоремы и правила модального исчисления высказываний.

  1. Система S1: аксиомы, правила образования формул, теоремы и выводимые правила, явные модальности, общие метатеоремы.

  1. Система S4.

  1. Система S5.

  1. Семантика возможных миров Крипке.

  1. Немонотонные модальные логики.

  1. Логики убеждения и знания.

  1. Немонотонные логики Мак-Дермотта и Дойла.

  1. Автоэпистемические логики.

  1. Логики умолчаний.

  1. Аргументация и абдукция в логических моделях.

  1. Основные свойства семантики, основанной на аргументах.