Автор статьи
Валерия
Эксперт по сдаче вступительных испытаний в ВУЗах
- Высказывания и операции над ними. Формулы логики высказываний.
- Равносильные формулы логики высказываний. Основные законы.
- Рассуждения. Дедуктивные и Индуктивные рассуждения.
- Логически корректные рассуждения. Логическое следование
- Булевы функции. Основные понятия.
- Элементарные булевы функции.
- Представление функций формулами. Равносильные формулы.
- Принцип двойственности
- Дизъюнктивные и конъюнктивные нормальные формы
- Совершенные ДНФ и КНФ
- Минимизация булевых функций в классе ДНФ
- Замыкание множества булевых функций
- Полнота множества булевых функций
- Многочлены Жегалкина
- Определение n-местного предиката. Тождественно — истинные, тождественно – ложные, выполнимые на множестве предикаты.
- Кванторы.
- Формулы логики предикатов. Равносильные формулы логики предикатов.
- Определение формальной теории.
- Выводимость. Интерпретация.
- Общезначимость и непротиворечивость.
- Полнота, независимость и разрешимость.
- Исчисление высказываний. Классическое определение.
- Формальный вывод. Производные правила вывода.
- Теорема дедукции.
- Теоремы классического исчисления высказываний.
- Другие аксиоматизации.
- Исчисление предикатов. Определения. Синтаксис и семантика языка исчисления предикатов.
- Логическое следование и логическая эквивалентность.
- Теоремы Геделя о неполноте.
- Автоматическое доказательство теорем. Постановка задачи.
- Доказательство от противного.
- Сведение к предложениям (дизъюнктам).
- Метод резолюции в исчислении высказываний.
- Метод резолюции в исчислении предикатов.
- Формализация понятия алгоритма.
- Понятие алгоритмической системы.
- Машина Тьюринга.
- Тезис Тьюринга. Проблема остановки.
- Рекурсивные функции. Тезис Черча.
- Связь рекурсивных функций с машинами Тьюринга.
- Вычислимость и разрешимость.
- Алгоритмически неразрешимые проблемы.
- Трудоемкость вычислений.
- Меры сложности алгоритмов.
- Легко и трудноразрешимые задачи.
- Классы трудоемкости задач;N, NP, NP –полные задачи.
О сайте
Ссылка на первоисточник:
https://www.canvas.net/
Поделитесь в соцсетях: