Платформа
CourseraОписание
О курсе
Современная математическая логика — обширная, сложная и разнообразная область знаний. Мы рассмотрим в курсе самую простую ее часть — логику высказываний. Методы, приемы решения задач логики высказываний составляют базис всей математической логики. На примере этой логики мы познакомим вас с основными задачами математической логики: проверка истинности высказывания при конкретных значениях переменных, эквивалентность двух высказываний, проверка на логическое следствие. Для твердого математического фундамента в курсе изучается математическая модель логики высказываний — двоичные функции, операции с ними, канонические формы, минимизация двоичных функций, их эффективное представление при программировании. Также в курсе затрагиваются вопросы формализации высказываний на естественном языке.
Применение логики высказываний продемонстрируем на задаче программирования в логических ограничениях. К широко известным примерам таких задач относится задача Эйнштейна: «В пяти домах живет пять человек разной национальности…» Эти задачи, например, входят в состав алгоритмов работы интеллектуальных агентов.
Наш курс отражает инженерный, политехнический подход. Это означает, что курс насыщен различными примерами из жизни, прикладными задачами, практическими случаями использования математической логики. Если вы хотите повысить свою квалификацию как программиста, инженера, политехника, наш курс — для вас.
Формируемые компетенции
- Формализация инженерных проблем.
- Формальное представление и преобразование информации об окружающем мире.
- Получение корректных следствий из установленных фактов.
- Проверка эквивалентности высказываний.
Программа курса
Модуль 1. Введение
Модуль 2. Булевы функции
Модуль 3. Нормальные формы представления булевых функций
Модуль 4. Бинарные решающие диаграммы
Модуль 5. Основные понятия логики высказываний
Модуль 6. Логическое следствие и логический вывод в логике высказываний
Модуль 7. Методы проверки выполнимости логических формул
Направления подготовки
Рекомендуем посмотреть
