Департамент анализа данных и искусственного интеллекта вошел в Ассоциацию символической логики

Институциональное сотрудничество с департаментом расширено за счет участия 3 студентов, выполняющих курсовые и выпускные квалификационные работы под руководством преподавателей департамента по следующим направлениям исследований:
—  Булева и многозначные логики. Функциональная выразимость в замкнутых классах.
—  Деревья блюпринтов и построение системы принятия решений в 3D-шутерах, основанной на правилах вывода.

Ассоциация символической логики (Association for symbolic logic) — крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент АСЛ), А. Чёрча, Х. Кёрри, К. Льюиса и других. Её цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом АСЛ может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. Официальный орган АСЛ — «Journal of Symbolic Logic», выходящий ежеквартально с 1936 года.
^© http://dic.academic.ru