Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  

5-ая Российская школа-семинар "Синтаксис и семантика логических систем"
(8–12 августа 2017 г., Республика Бурятия, г. Улан-Удэ, озеро Байкал)

Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России.

Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании.

E-mail:
Website: https://imi.bsu.ru/logic

Организации
Бурятский государственный университет, г. Улан-Удэ
Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск

 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025