ИСТИНА

Сопрунов Сергей Федорович

Институт новых технологий образования (ИНТ)

Соавторы: Семенов А.Л., Иванов-Погодаев И.А., Белов А.Я., Бетелин В.Б., Вовк В.Г., Иванов-Погодаев И.А., Исаев Р.Д., Кондратьев В.В., Кушниренко А.Г., Уваров Ф.В., Успенский В.А., Френкин Б.Р.

18 статей, 8 докладов на конференциях, 2 тезисов докладов, 1 награда

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 10

IstinaResearcherID (IRID): 8103289

Деятельность

• Статьи в журналах

  • • 2023 Creating New Mathematics by Schoolchildren
    • Semenov A.L., Soprunov S.F., Ivanov-Pogodaev I.A.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 107, № (Suppl. 1), с. S133-S137 DOI
  • • 2023 The Lattice of Definability: Origins, Recent Developments, and Further Directions
    • Semenov A.L., Soprunov S.F.
    • в журнале Doklady Mathematics, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 2022, № 106 (Suppl.2), с. S288-S298 DOI
  • • 2023 Создание новой математики школьниками
    • Семенов А.Л., Сопрунов С.Ф., Иванов-Погодаев И.А.
    • в журнале Доклады Российской академии наук. Математика, информатика, процессы управления, издательство Российская академия наук (Москва), № 511, с. 138-143 DOI
  • • 2022 Automorphisms and Definability (of Reducts) for Upward Complete Structures
    • Semenov Alexei, Soprunov Sergei
    • в журнале Mathematics, издательство MDPI (Basel, Switzerland), том 10, № 20 DOI
  • • 2021 Решетка определимости (редуктов) для целых чисел с операцией следования
    • Семёнов А.Л., Сопрунов С.Ф.
    • в журнале Известия РАН. Серия математическая, том 85, № 6, с. 245-258
  • • 2021 Решетка определимости. Источники и направления исследований
    • Семенов А.Л., Сопрунов С.Ф.
    • в журнале Чебышевский сборник, издательство Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Тульский государственный педагогический университет им. Л.Н. Толстого" (Тула), том 22, № 1(77), с. 304-327 DOI
  • • 2020 О цифровой грамотности и средах ее формирования
    • Бетелин В.Б., Кушниренко А.Г., Семенов А.Л., Сопрунов С.Ф.
    • в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 14, № 4, с. 102-109
  • 
    • 2015 A combinatorial version of the Svenonius theorem on definability
    • Semenov Alexei, Soprunov Sergey
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 23, № 6, с. 966-975 DOI
  • 
    • 2011 Finite Quantifier Hierarchies in Relational Algebras
    • Semenov Alexei, Soprunov Sergey
    • в журнале Proceedings of the Steklov Institute of Mathematics, издательство Springer Verlag (Germany), том 274, № 1, с. 267-272 DOI
  • • 2011 Конечные кванторные иерархии в алгебрах отношений
    • Семёнов Алексей Львович, Сопрунов Сергей Федорович
    • в журнале Труды Математического института им.В.А.Стеклова РАН, издательство МИАН (Москва), том 274, с. 291-296

• Статьи в сборниках

  • • 2022 Проект 4. Теория определимости: Логика. Алгебра. Геометрия
    • Семенов Алексей Львович, Сопрунов Сергей Федорович, Канель-Белов Алексей Яковлевич, Иванов-Погодаев Илья Анатольевич, Уваров Филипп Викторович
    • в сборнике Майская проектная программа по математике и теоретической информатике, издательство Образовательный центр "Сириус" (Адлер)
  • 
    • 2014 The Lattice of Definability. Origins, Recent Developments, and Further Directions
    • Semenov Alexei, Soprunov Sergey, Uspensky Vladimir
    • в сборнике Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 8476, с. 23-38 DOI
    • редактор Верещагин Николай Константинович
  • • 2011 Lattice of relational algebras definable in integers with successor
    • Semenov A.L., Soprunov S.F.
    • в сборнике arXiv.1112.3899v2[hep-th], серия Series arxive "math", место издания Cornell University, Ithaca N.Y., United States Ithaca N.Y., USA, том 1112
  • • 1988 Некоторый способ проверки правильности программ на Ассемблере
    • Вовк Владимир Григорьевич, Семёнов Алексей Львович, Сопрунов Сергей Федорович
    • в сборнике Методы и алгоритмы анализа больших систем, серия Вопросы кибернетики, место издания Научный совет по комплексной проблеме «Кибернетика» АН СССР Москва, том 136, с. 56-77
    • редактор Карманов Владимир Георгиевич
  • • 1988 Разрешимые обогащения структур
    • Сопрунов Сергей Федорович
    • в сборнике Сложность вычислений и прикладная математическая логика, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва, том 134, с. 175-179
    • редактор Адян Сергей Иванович
  • • 1985 О языке комбинаторно-логического процессора
    • Семенов Алексей Львович, Сопрунов Сергей Федорович
    • в сборнике Эффективное использование высокопроизводительных ЭВМ, серия Вопросы кибернетики, место издания Научный совет по комплексной проблеме «Кибернетика» АН СССР Москва, том 117, с. 182-191
  • • 1979 Решетки нестандартных арифметик
    • Сопрунов Сергей Федорович
    • в сборнике Исследования по неклассическим логикам и теории множеств, место издания Наука Москва, с. 146-173
    • редактор Михайлов Александр Иванович
  • • 1976 Счетные нестандартные модели арифметики
    • Сопрунов Сергей Федорович
    • в сборнике Исследования по теории множеств и неклассическим логикам, издательство ФГБУ "Издательство "Наука" (Москва), с. 157-173
    • редакторы Бочвар Дмитрий Анатольевич, Гришин Владимир Николаевич

• Доклады на конференциях

  • • 2022 Recent results on definability lattices of numerical structures (Пленарный)
    • Авторы: Семенов А.Л., Сопрунов С.Ф.
    • Вторая конференция Математических центров России, г. Москва, Россия, 7–11 ноября 2022 г., Россия, 7-11 ноября 2022
  • • 2021 Definability theory. Geometry (and Algebra) view and open problems (Приглашенный)
    • Авторы: Семенов А.Л., Сопрунов С.Ф.
    • Third Workshop on Digitalization and Computable Models (WDCM-2021), Казань – Новосибирск, Россия, 28 июня - 2 июля 2021
  • • 2021 Теория определимости сегодня (Пленарный)
    • Авторы: Семенов А.Л., Сопрунов С.Ф.
    • XIX Международная научная конференция «Алгебра, теория чисел и дискретная геометрия: современные проблемы, приложения и проблемы истории», посвященная двухсотлетию со дня рождения академика П. Л. Чебышева. Тула, 18-22 мая 2021 года, Тула, Россия, 19 мая 2021
  • • 2021 The Definability Theory. New trends and Open Problems (Приглашенный)
    • Авторы: Семенов А.Л., Сопрунов С.Ф.
    • The Fifth St. Petersburg Days of Logic and Computability (Orevkov’80), Санкт-Петербург, Россия, 12-15 мая 2021
  • • 2021 Теория определимости. Основные понятия. Открытые проблемы и задачи для решения (Устный)
    • Авторы: Семенов А.Л., Сопрунов С.Ф.
    • Ломоносовские чтения 2021, Москва, Россия, 20-29 апреля 2021
  • • 2017 Структура пространств выразимости для следования на целых числах (Устный)
    • Авторы: Семенов Алексей Львович, Сопрунов Сергей Федорович
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2014 The Lattice of Definability. Origins, Recent Developments, and Further Directions (Пленарный)
    • Авторы: Semenov A., Soprunov S., Uspensky V.
    • CSR 2014: The 9th International Computer Science Symposium in Russia, Moscow, June 6-12, 2014. , Москва, Россия, 2014
  • • 2012 The lattice of relational algebras definable in integers with successor (Устный)
    • Авторы: Semenov Alexei, Soprunov Sergey
    • Logical Models of Reasoning and Computation (LRMC 2012), Математический институт им. В.А.Стеклова РАН, Россия, 1-3 февраля 2012

• Тезисы докладов

  • 
    • 2021 Проект 4. Теория определимости: Логика. Алгебра. Геометрия
    • Семёнов А.Л., Сопрунов С., Иванов-Погодаев И., Исаев Р.Д., Канель-Белов А., Кондратьев В.В., Френкин Б.
    • в сборнике 33rd Summer conference of the International mathematical Tournament of Towns,, издательство МИИ (Москва), тезисы
  • • 2021 Теория определимости сегодня
    • Семенов А.Л., Сопрунов С.Ф.
    • в сборнике Сб. материалов XIX Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посв. 200-летию ак. П. Л. Чебышёва. Тула, 18–22 мая 2021 г, место издания Тула, тезисы, с. 35-39

• Награды и премии

  • • 1998 Премия Президента РФ в области образования за 1997 г.
    • Лауреаты: Семенов Алексей Львович, Яблонский Владимир Борисович, Сопрунов Сергей Федорович, Рудченко Татьяна Александровна, Шабат Георгий Борисович, Булин-Соколова Елена Игоревна, Шапиро Михаил Аронович, Ездов Александр Анатольевич, Кутукова Ольга Григорьевна, Сафонова Ирина Павловна
    • Президент РФ, Россия