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

Доклады:

• Башмаков С.И. — Некоторые задачи неклассической логики: p-морфизм, аксиоматизация, полнота;
• Зверева Т.Ю. — Вопросы унификации в одной временной многомодальной логике знания. Финитная аппроксимируемость.

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

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

• Башмаков С.И.
• Зверева Т.Ю.
• Бабаев М.А.