Научная деятельность
Статьи (11) Подробнее
| 1 |
Bazhenov N.
, Mustafa M.
, Ospichev S.
, San Mauro L.
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy Synthese. 2023. V.201. N2. 55 :1-25. DOI: 10.1007/s11229-023-04056-y WOS Scopus РИНЦ OpenAlex |
| 2 |
Bazhenov N.
, Ospichev S.
, Yamaleev M.M.
Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy В сборнике Aspects of Computation and Automata Theory with Applications. – World Scientific Publishing Co. Pte. Ltd.., 2023. – Т.42. – C.97-114. – ISBN 9789811278624. DOI: 10.1142/9789811278631_0004 Scopus OpenAlex |
| 3 |
Bazhenov N.
, Mustafa M.
, Ospichev S.
Rogers semilattices of punctual numberings Mathematical Structures in Computer Science. 2022. V.32. N2. P.164-188. DOI: 10.1017/S0960129522000093 WOS Scopus РИНЦ OpenAlex |
| 4 |
Bazhenov N.
, Mustafa M.
, Ospichev S.
, San Mauro L.
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy Lecture Notes in Computer Science. 2021. P.1-13. DOI: 10.1007/978-3-030-88708-7_1 Scopus OpenAlex |
| 5 |
Bazhenov N.A.
, Ospichev S.S.
, Mustafa M.
On universal pairs in the Ershov hierarchy Сибирский математический журнал. 2021. V.62. N1. P.31-41. DOI: 10.33048/smzh.2021.62.103 OpenAlex |
| 6 |
Goncharov S.
, Ospichev S.
, Ponomaryov D.
, Sviridenko D.
The expressiveness of looping terms in the semantic programming Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. V.17. 024 :1-15. DOI: 10.33048/SEMI.2020.17.024 WOS Scopus OpenAlex |
| 7 |
Bazhenov N.A.
, Mustafa M.
, Ospichev S.S.
, Yamaleev M.M.
Numberings in the analytical hierarchy Алгебра и логика. 2020. V.59. N5. P.594-599. DOI: 10.33048/alglog.2020.59.506 OpenAlex |
| 8 |
Bazhenov N.
, Mustafa M.
, Ospichev S.
Semilattices of Punctual Numberings Lecture Notes in Computer Science. 2020. P.1-12. DOI: 10.1007/978-3-030-59267-7_1 Scopus OpenAlex |
| 9 |
Bazhenov N.
, Mustafa M.
, Ospichev S.
Bounded Reducibility for Computable Numberings Lecture Notes in Computer Science. 2019. P.96-107. DOI: 10.1007/978-3-030-22996-2_9 Scopus OpenAlex |
| 10 |
Ospichev S.S.
Friedberg numberings of families of partial computable functionals Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. V.16. P.331-339. DOI: 10.33048/semi.2019.16.020 WOS Scopus OpenAlex |
| 11 |
Оспичев С.С.
, PONOMAREV D.K.
ON THE COMPLEXITY OF FORMULAS IN SEMANTIC PROGRAMMING Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. Т.15. С.987–995. DOI: 10.17377/semi.2018.15.083 WOS Scopus |
Доклады на конференциях (3) Подробнее
| 1 |
Оспичев С.С.
Карта цунамиопасности Камчатского региона II Конгресс молодых ученых 01-03 дек. 2022 |
| 2 |
Оспичев С.С.
Датахаб Цунами Вторая конференция Математических центров России 07-11 нояб. 2022 |
| 3 |
Оспичев С.С.
Rogers semilattices Конференция международных математических центров мирового уровня 09-13 авг. 2021 |
Ученые степени
2014 - Кандидат наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел