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