Марченков Сергей Серафимович

Родился 29 июня 1945 г., город Узловая Тульской области. Профессор.

Окончил с золотой медалью среднюю школу №16 г. Узловая (1962), механико-математический факультет МГУ им. М.В. Ломоносова (с отличием, 1967). В 1967-1970 гг. обучался в аспирантуре механико-математического факультета по кафедре математической логики.

Кандидат физико-математических наук (1971), тема диссертации: «Полуструктуры вычислимых нумераций» (научный руководитель С.В. Яблонский). Доктор физико-математических наук (1992), тема диссертации: «Проблема существования базиса в итеративных алгебрах дискретных функций». Учёное звание — старший научный сотрудник (1995).

Награждён медалью «В память 850-летия Москвы» (1997).

С 1970 по 2000 г. работал в Институте прикладной математики им. М.В. Келдыша РАН. В Московском университете работает с 2000 г. в должности профессора кафедры математической кибернетики факультета ВМК.

Область научных интересов: дискретная математика, теория функциональных систем, теория алгоритмов, теория автоматов.

С.С. Марченковым решены проблемы построения базисов по суперпозиции в наиболее важных классах рекурсивных функций. Получено первое решение проблемы Поста для тьюринговых степеней в постановке Поста. В рамках дискретной математики разработан подход к решению проблем представимости непрерывных функций многих переменных в виде суперпозиции функций меньшего числа переменных. На основе групп подстановок построены первые две эффективные классификации множества функций многозначной логики: S-классификация и A-классификация. Определены и исследованы позитивная и эквациональная классификации.

Под руководством С.С. Мареченкова защищено 4 кандидатские диссертации.

Автор 18 книг и свыше 160 научных статей. Основные публикации:

• Избранные главы дискретной математики. — МАКС Пресс Москва, 2016. — С. 133;
• Функциональные системы с операцией суперпозиции. — ФИЗМАТЛИТ Москва, 2004. — С. 104;
• Элементарные рекурсивные функции. — МЦНМО Москва, 2003. — С. 112;
• Базисы по суперпозиции в классах рекурсивных функций // Математические вопросы кибернетики. — Т. 3. — Наука Москва, 1991. — С. 115–139.