Первый онлайн-семинар в весеннем семестре посвящен вводной тематике в специализацию по математической логике на кафедре АиМЛ - не предполагает специальных знаний в области. Приглашаются все желающие, в особенности студенты 2-го курса, а также заинтересованные первокурсники.

Доклады:
Родюшкин А.И. - Математическая логика, как дедуктивная система. Классическая логика, конструктивные логики;
Башмаков С.И. - Неклассические системы. Инструменты исследования логик: синтаксис и семантика. Реляционная семантика возможных миров Крипке;
Зверева Т.Ю. - Задача унификации в неклассических логиках. Пример решения для одной временной логики.

В рамках семинара оглашены дипломанты семинара 2019-2020 гг. за самое активное участие в его проведении:

• Зверева Татьяна Юрьевна
• Родюшкин Алексей Игоревич

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

Участники семинара:

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.
• Марцинкевич И.В.
• Чернов Г.Н.
• Бабаев М.А.
• Глазкина А.В.