Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России.
Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании.
Организации
Бурятский государственный университет, г. Улан-Удэ Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск |