• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
A rewriting framework and logic for activities subject to regulations

Kanovich M., Kirigin T. B., Nigam V. et al.

Mathematical Structures in Computer Science. 2017. Vol. 27. No. 3. P. 332-375.

Статья
Bias-Corrected Estimation in Continuous Sampling Plans
В печати

Decrouez G. G., Robinson A.

Risk Analysis: An International Journal. 2017. Vol. 38. No. 1. P. 177-193.

Статья
Dualization in lattices given by ordered sets of irreducibles

Babin M. A., Kuznetsov S.

Theoretical Computer Science. 2017. Vol. Volume 658, Part B. No. 7 January. P. 316-326.

Статья
Finite sample properties of the mean occupancy counts and probabilities

Decrouez G. G., Grabchak M., Paris Q.

Bernoulli: a journal of mathematical statistics and probability. 2018. Vol. 24. No. 3. P. 1910-1941.

Статья
The Minkowski central partition as a pointer to a suitable distance exponent and consensus partitioning

Mirkin B., Amorim R., Makarenkov V. et al.

Pattern Recognition. 2017. Vol. 67. P. 62-72.

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

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


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