|
|
Чернюгов Виктор Васильевич Старший научный сотрудник, к.ф.-м.н., окончил ЛГУ (1961 г.), в 1973 году защитил диссертацию на тему «Алгоритмический мета-язык Алмет». В институте работает с 1960 г. Руководитель группы “Теория и методы информационных технологий”. Основная разработка последних лет: “Теория понятий”. Теория понятий продолжает развитие и совершенствование одного из основных понятий математики – понятия функции и предлагает использование понятий вместо множеств в определении понятия функции. Построение теории понятий инициировано исследованиями семантических проблем формализаций. |