RUS  ENG
Полная версия
КОНФЕРЕНЦИИ
5-ая Российская школа-семинар "Синтаксис и семантика логических систем"
(8–12 августа 2017 г., Республика Бурятия, г. Улан-Удэ, озеро Байкал)

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

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


E-mail:
Вебсайт: https://imi.bsu.ru/logic


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



© МИАН, 2024