Заседание №25 (8 июня 2020 г.)

Время: 
14:00
Место: 
Онлайн-заседание в Zoom

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

Доклады:

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

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

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

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