Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Сопрунов Сергей Федорович

В базах данных Math-Net.Ru
Публикаций: 7
Научных статей: 6
Лекций и докладов: 2

Статистика просмотров:
Эта страница:276
Страницы публикаций:551
Полные тексты:156
Списки литературы:61
E-mail: ,

http://www.mathnet.ru/rus/person71404
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2021
1. А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021),  304–327  mathnet
2. А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85:6 (2021),  245–258  mathnet
2020
3. В. Б. Бетелин, А. Г. Кушниренко, А. Л. Семенов, С. Ф. Сопрунов, “О цифровой грамотности и средах ее формирования”, Информ. и её примен., 14:4 (2020),  100–107  mathnet
2015
4. A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015),  966–975  mathnet  isi
2011
5. А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Труды МИАН, 274 (2011),  291–296  mathnet  mathscinet  elib; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272  isi  elib  scopus
1975
6. С. Ф. Сопрунов, “Начальные отрезки нестандартных арифметик”, Докл. АН СССР, 223:3 (1975),  576–577  mathnet  mathscinet  zmath
7. С. Ф. Сопрунов, “Сильные нестандартные модели арифметики”, Докл. АН СССР, 220:2 (1975),  293–296  mathnet  mathscinet  zmath

2021
8. Т. А. Рудченко, С. Ф. Сопрунов, А. Ю. Уваров, “Академику А. Л. Семенову – 70 лет”, Чебышевский сб., 22:1 (2021),  27–56  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Бесконечные ветви в разрешимых деревьях
С. Ф. Сопрунов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
9 апреля 2018 г. 18:30
2. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 12:45   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021