#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 427 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.
Дата и время: 25.09.2026 в 16:20
Докладчик: Кудинов Андрей
Название доклада:
Модальная логика: базовые сведения
Аннотация:
В докладе будет дано введение в модальную логику высказываний. В классической логике истинность формулы рассматривается не только относительно заданного набора истинностных значений, в модальной логике рассматриваются различные состояния или «возможные миры», в каждом из которых значения высказываний могут отличаться. Это позволяет формализовать рассуждения о необходимости и возможности, доказуемости, знании агентов, времени, переходах между состояниями и др. Благодаря этому модальная логика находит свое применение и в математике, и в философии, и в компьютерных науках.
Мы расскажем про семантику Крипке, которая чаще всего используется для модальной логики. Сформулируем теорему о полноте для нее. Поговорим про разрешимость модальной логики, которая выгодно отличает ее от логики предикатов.
Модальная логика является одним из активно развивающимся направлением в математической логике, и имеет богатые связи с большим количеством других направлений. Поэтому она хорошо подходит для курсовых и дипломных работ.
Post #552
135
- 👍 4