Заседание №24 (26 мая 2020 г.)

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

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

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

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

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

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

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

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