Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

<< |

↑

Введение

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

1.1. Понятие высказывания

1.2. Логические операции

1.3. Булевы функции

1.3.1. Некоторые определения из теории множеств

1.3.2. Булевы функции

1.4. Формулы

1.5. Равносильные формулы

1.6. Подстановка и замена

1.7. Формы представления высказываний

1.8. Минимизация сложных высказываний методом Квайна

1.9. Полные системы функций

1.9.1. Система функций {}

1.9.2. Замкнутые классы

1.9.3. Функциональная полнота

Тема 2. Логические исчисления

2.1. Интерпретация формул

2.2. Примеры тождественно истинных формул высказываний

2.3. Формальные теории

2.5. Интерпретацияформальных теорий

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

2.7. Производные правила вывода

2.8. Дедукция

2.9. Некоторые теоремы теории £

Тема 3. Логика и исчисление предикатов

3.1. Предикаты

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

3.3. Интерпретация

3.4. Основные равносильности для предикатов

3.5. Приведенная форма представления предикатов

Тема 4. Автоматическое доказательство теорем

4.1. Постановка задачи

4.2. Доказательствоот противного

4.3.Правило резолюции для исчисления высказываний

4.4. Правило резолюции для исчисления предикатов

4.5. Основные положения МР (выводы)

4.6. Логическое программирование

Тема 5. Теория алгоритмов

5.1. Интуитивное понятие алгоритма

5.2. Конкретизация понятия алгоритма

5.2.1. Машины Тьюринга

5.2.3. Рекурсивные функции

5.2.3. Нормальные алгорифмы Маркова

5.3. Алгоритмически неразрешимые проблемы

5.3.1. Проблема самоприменимости

5.3.1.1. Нумерация МТ

5.3.1.2. Самоприменимость МТ

5.3.2. Проблема останова

5.3.3. Разрешимые и неразрешимые задачи математики

5.4. Характеристики сложности вычислений

5.5. Классы сложности задач

5.5.1. Р задачи

5.5.2. NP задачи

Книги и учебники по дисциплине Математическая логика:

Конспекты лекций по математической логике - 2017 год

- Аналитическая геометрия - Вариационное исчисление - Векторный и тензорный анализ - Высшая геометрия - Высшая математика - Вычислительная математика - Дискретная математика - Дифференциальное и интегральное исчисление - Дифференциальные уравнения - Исследование операций - История математики - Комплексное исчисление - Линейная алгебра - Линейное программирование - Математика для экономистов - Математическая логика - Математическая физика - Математический анализ - Пределы - Ряды - Статистика - Теория вероятностей - Теория графов - Теория игр - Теория принятия решений - Теория случайных процессов - Теория чисел - Функциональный анализ -

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -