О чём рассказывается в презентации:
Презентация посвящена исчислению высказываний, которое является основой логического вывода и формализации. Рассматриваются ключевые аспекты, такие как семантика формул через таблицы истинности и применение логических методов в верификации критически важных систем. Также обсуждается, как логика служит связующим звеном между абстрактными математическими концепциями и практическими вычислительными задачами, включая автоматизацию SAT-задач и разработку надежного программного обеспечения.
Оглавление
Исчисление высказываний: от формализации к приложениям
Исчисление высказываний как фундамент логического вывода
Алфавит и формализация логических связок
Семантика формул через таблицы истинности
Тавтологии и логическое следование
Выполнимость формул как центральная задача
SAT-решатели: от теории к вычислительным мощностям
Верификация критически важных систем
Искусственный интеллект и интерпретируемость
Синтез программ по спецификациям
Применение в криптографическом анализе
Динамика и вычислительная сложность
Логика как мост между человеком и вычислителем
Перспективы развития логических методов
Итоги: значение формальной логики
Спасибо за внимание
