Международная школа-семинар "Синтаксис и семантика логических систем" (11–16 августа 2019 г., Турбаза на берегу озера Хубсугул, Монголия)
6-я Международная школа-семинар посвящена 90-летию со дня рождения основателя Иркутской алгебро-логической школы Али Ивановича Кокорина.
Цель школы-семинара – обсуждение результатов и выявление актуальных направлений исследований по алгебре, математической логике и их приложениям, а также предоставление молодым исследователям возможности личного контакта с известными российским и монгольскими учеными.
Тематика:
универсальная алгебра,
логические исчисления,
теория моделей,
алгебра логики,
теория конечнозначных функций,
алгебро-логические методы в информационных технологиях,
история и философия математики,
логическая составляющая математического образования.
Организации