- •Пояснительная записка
- •2.1. Тематический план
- •2.2. Тематический план
- •2.3. Тематический план
- •3. Содержание курса
- •1. Раздел: Логика высказываний
- •Контрольные вопросы по 1 разделу:
- •2. Раздел: Логика предикатов
- •Понятие темпоральной логики. Темпоральные операторы. Некоторые операторы и правила темпоральной логики. Формальная верификация. Теоретические основы верификации. Классы темпоральных логик.
- •Контрольные вопросы по 2 разделу:
- •3. Раздел: Теория алгоритмов
- •Контрольные вопросы по 3 разделу:
- •Основная литература
- •Дополнительная литература
- •Вопросы к зачету
- •Учебное издание Математическая логика и теория алгоритмов
- •Архангельский Владимир Всеволодович
Вопросы к зачету
Основные понятия логики высказываний.
Язык логики высказываний.
Операции в логике высказываний.
Аксиомы и тавтологии логики высказываний.
ДНФ, КНФ и минимизация формул логики высказываний.
Непротиворечивость и закон Дунса Скота.
Понятие полноты в логике высказываний.
Полнота арифметической теории и полнота по Посту.
Дедукция, индукция, абдукция, аналогия.
Применение принципа дедукции для анализа выполнимости формул.
Метод резолюций в логике высказываний.
Стратегии вывода методом резолюций.
Понятие и свойства алгоритма.
Устройство машины Поста.
Сущность нормальных алгоритмов Маркова.
Рекурсивные функции.
Общность и различия алгоритма и функции.
Устройство машины Тьюринга.
Детерминированная и недетерминированная машина Тьюринга.
Работа эмулятора машины Тьюринга.
Полнота по Тьюрингу и тезиса Тьюринга-Черча.
Алгоритмически неразрешимые проблемы.
Проблема алгоритмической разрешимости.
Понятие сложности вычислений.
Легкоразрешимые и трудноразрешимые задачи.
Соответствие классов задач и типов используемых ЭВМ.
Задачи P-класса, NP-класса и NP-полные задачи.
Эффективность алгоритмов.
Алгоритмы Магу.
Эффективность на примере алгоритмов сортировки.
Основные положения нечёткой логики.
Структура контроллера нечёткой логики.
Операции над нечеткими множествами
Нечеткий вывод по Мамдани.
Алгоритмические логики.
Основные понятия логики предикатов.
Операции в логике предикатов.
Кванторы в логике предикатов.
Доказательство истинности предикатных формул.
Предваренная, сколемовская и клаузальная формы.
Алгоритм получения клаузальной формы.
Теорема Робинсона и метод резолюций в логике предикатов.
Принцип логического программирования.
Темпоральные логики.
Темпоральные операторы и формальная верификация.
Алгоритмическая логика Хоара.
Аксиоматический метод для построения научной теории.
Метатеория и метаязык.
Метаматематика и формальный вывод.
Мышление и формальная логика.
Учебное издание Математическая логика и теория алгоритмов
Учебная программа
Составитель:
Архангельский Владимир Всеволодович
|
Редактор: Петров И.Е. |
Корректор: Журавлева О.Н. |
|
Подписано в печать «__» _____ 20__г. |
|
Усл. печ. л. _____ |
|
Тираж _______экз. |
|
Отпечатано на ризографе ВСЭИ |
|
|
|
Издательский орган ВСЭИ 610000 Киров, Большевиков, 91А тел./факс 67-02-35 |