ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
4-я Российская школа-семинар "Синтаксис и семантика логических систем", посвященная 80-летию основания Бурятского государственного университета. Россия, Улан-Удэ, 14–19 августа 2012 года. Цель школы-семинара — обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России. Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании.