Sciact
  • EN
  • RU
Profile

Алаев Павел Евгеньевич

Сотрудник

Научная деятельность

Статьи - 28 , Книги - 2 , Доклады на конференциях - 8


Статьи (28) Подробнее

1 Alaev P.E. , Khlestova E.I.
Decidable Models of Ehrenfeucht Theories
Algebra and Logic. 2025. DOI: 10.1007/s10469-025-09779-0 WOS Scopus OpenAlex
2 Alaev P.
Inversion in P-Computable Fields
В сборнике Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings. – Springer Cham., 2024. – C.100-109. – ISBN 978-3-031-64309-5. DOI: 10.1007/978-3-031-64309-5_9 WOS Scopus OpenAlex
3 Алаев П.Е. , Хлестова Е.И.
Разрешимые модели эренфойхтовых теорий
Алгебра и логика. 2024. Т.63. №3. С.235–247. DOI: 10.33048/alglog.2024.63.301
4 Alaev P.E.
Inversion operations in algebraic structures
Computability. 2023. V.12. N4. P.315-322. DOI: 10.3233/com-230459 WOS Scopus РИНЦ OpenAlex
5 Алаев П.Е.
Сложность операции обращения в группах
Алгебра и логика. 2023. Т.62. №2. С.155-178. DOI: 10.33048/alglog.2023.62.201 РИНЦ
6 Alaev P.E.
Complexity of the inversion operation in groups
Algebra and Logic. 2023. V.62. N2. P.103-118. DOI: 10.1007/s10469-024-09730-9 WOS Scopus РИНЦ OpenAlex
7 Alaev P.
Quotient Structures and Groups Computable in Polynomial Time
Lecture Notes in Computer Science. 2022. V.13296 LNCS. P.35-45. DOI: 10.1007/978-3-031-09574-0_3 Scopus OpenAlex
8 Alaev P.E.
Finitely generated structures computable in polynomial time
Siberian Mathematical Journal. 2022. V.63. N5. P.801-818. DOI: 10.1134/S0037446622050019 WOS Scopus РИНЦ OpenAlex
9 Alaev P.E.
A Criterion for P-Computability of Structures
Algebra and Logic. 2022. V.61. N5. P.437-441. DOI: 10.1007/s10469-023-09710-5 WOS Scopus РИНЦ OpenAlex
10 Алаев П.Е.
Критерий P-вычислимости структур
Алгебра и логика. 2022. Т.61. №5. С.640–646. DOI: 10.33048/alglog.2022.61.507 РИНЦ
11 Алаев П.Е.
Конечно порождённые структуры, вычислимые за полиномиальное время
Сибирский математический журнал. 2022. Т.63. №5. С.953-974. DOI: 10.33048/smzh.2022.63.501 РИНЦ
12 Alaev P. , Selivanov V.
Complexity Issues for the Iterated h-Preorders
Lecture Notes in Computer Science. 2021. V.13037 LNCS. P.1-12. DOI: 10.1007/978-3-030-93489-7_1 WOS Scopus OpenAlex
13 Alaev P.E. , Selivanov V.L.
Fields of Algebraic Numbers Computable in Polynomial Time. II
Algebra and Logic. 2021. V.60. N6. P.349 - 359. DOI: 10.1007/s10469-022-09661-3 WOS Scopus OpenAlex
14 Alaev P.E. , Selivanov V.L.
Searching for Applicable Versions of Computable Structures
Lecture Notes in Computer Science. 2021. V.12813. P.1-11. DOI: 10.1007/978-3-030-80049-9 WOS OpenAlex
15 Алаев П.Е. , Селиванов В.Л.
Поля алгебраических чисел, вычислимые за полиномиальное время. II
Алгебра и логика. 2021. Т.60. №6. С.533-548. DOI: 10.33048/alglog.2021.60.601
16 Alaev P.E.
Polynomially Computable Structures with Finitely Many Generators
Algebra and Logic. 2020. V.59. N3. P.266-272. DOI: 10.1007/s10469-020-09598-5 WOS Scopus OpenAlex
17 Alaev P.E. , Selivanov V.L.
Fields of Algebraic Numbers Computable in Polynomial Time. I
Algebra and Logic. 2020. V.58. N6. P.447-469. DOI: 10.1007/s10469-020-09565-0 WOS Scopus OpenAlex
18 Алаев П.Е.
Полиномиально вычислимые структуры с конечным числом порождающих
Алгебра и логика. 2020. Т.59. №3. С.385-394. DOI: 10.33048/alglog.2020.59.307 OpenAlex
19 Ershov Y.L. , Goncharov S.S. , Mazurov V.D. , Baizhanov B.S. , Kulpeshov B.S. , Alaev P.E. , Vasil'ev A.V. , Vasil'ev E.V. , Vdovin E.P. , Verbovskii V.V. , Vikent'ev A.A. , Vlasov D.Y. , Grechkoseeva M.A. , Zhelyabin V.N. , Kolesnikov P.S. , Kopytov V.M. , Maksimova L.L. , Mal'tsev I.A. , Morozov A.S. , Nikitin A.A. , Ovchinnikova E.V. , Odintsov S.P. , Pal'chunov D.E. , Peryazev N.A. , Pinus A.G. , Pobedin L.N. , Pozhidaev A.P. , Poizat B. , Puzarenko V.G. , Revin D.O. , Remeslennikov V.N. , Romanovskii N.S. , Ryaskin A.N. , Starchenko S.S. , Stepanova A.A. , Sudoplatov S.V. , Timoshenko E.I. , Tusupov D.A. , Khisamiev N.G. , Churkin V.A. , Chatzidakis Z. , Shegirov K.M. , Shestakov I.P.
Evgenii Andreevich Palyutin (1945–2018)
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. Т.16. С.А.1-А.10. DOI: 10.33048/semi.2019.16.028 WOS OpenAlex
20 Алаев П.Е. , Селиванов В.Л.
Поля алгебраических чисел, вычислимые за полиномиальное время. I
Алгебра и логика. 2019. Т.58. №6. С.673-705. DOI: 10.33048/alglog.2019.58.601 OpenAlex
21 Alaev P.E.
Categoricity for Primitive Recursive and Polynomial Boolean Algebras
Algebra and Logic. 2018. V.57. N4. P.251-274. DOI: 10.1007/s10469-018-9498-1 WOS Scopus OpenAlex
22 Alaev P.E.
Structures Computable in Polynomial Time. II
Algebra and Logic. 2018. V.56. N6. P.429-442. DOI: 10.1007/s10469-018-9465-x WOS Scopus OpenAlex
23 Alaev P.E. , Selivanov V.L.
Polynomial Computability of Fields of Algebraic Numbers
Doklady Mathematics. 2018. V.98. N1. P.341-343. DOI: 10.1134/S1064562418050137 WOS Scopus OpenAlex
24 Alaev P. , Selivanov V.
Polynomial-Time Presentations of Algebraic Number Fields
Lecture Notes in Computer Science. 2018. V.10936. P.20-29. DOI: 10.1007/978-3-319-94418-0_2 Scopus OpenAlex
25 Alaev P.E.
Категоричность для примитивно рекурсивных и полиномиальных булевых алгебр
Алгебра и логика. 2018. Т.57. №4. С.389-425.
26 Alaev P.E. , Селиванов В.Л.
Полиномиальная вычислимость полей алгебраических чисел
Доклады Академии наук. Серия: Математика, информатика, процессы управления. 2018. Т.481. №4. С.355-357. DOI: 10.31857/S086956520001685-6 OpenAlex
27 Alaev P.E.
Structures Computable in Polynomial Time. I
Algebra and Logic. 2017. V.55. N6. P.421-435. DOI: 10.1007/s10469-017-9416-y WOS Scopus OpenAlex
28 АЛАЕВ П.Е.
Структуры, вычислимые за полиномиальное время. II
Алгебра и логика. 2017. Т.56. №6. С.651-670. DOI: 10.17377/alglog.2017.56.601

Книги (2) Подробнее

1 Алаев П.Е. , Максимова Л.Л.
Математическая логика : учебное пособие : [для студентов математических факультетов вузов : в 2 ч.]. Ч. 1
Учебное пособие, М-во образования и науки РФ, Новосиб. гос. ун-т, Мех.-мат. фак., Каф. алгебры и мат. логики . Новосибирск : Издательско-полиграфический центр НГУ. Новосибирск : Издательско-полиграфический центр НГУ.2018. 98 c. ISBN 9785443707310.
2 Алаев П.Е. , Максимова Л.Л.
Математическая логика : учебное пособие : [в 2 ч.]. Ч.2
Учебное пособие, М-во образования и науки РФ, Новосиб. гос. ун-т, Мех.-мат. фак., Каф. алгебры и мат. логики . Новосибирск : Издательско-полиграфический центр НГУ. Новосибирск : Издательско-полиграфический центр НГУ.2018. 96 c.

Доклады на конференциях (8) Подробнее

1 Алаев П.Е.
Абстрактные классы алгоритмической сложности
Международная конференция "Мальцевские чтения" 11-15 нояб. 2024
2 Алаев П.Е.
Наследственно алгоритмические отношения в структурах
IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН. 06-11 авг. 2024
3 Alaev P.
P-computable structures in some algebraic classes
Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe 08-12 Jul 2024
4 Alaev P.
Search of structures computable in polynomial time
Discrete and Continuous Signals: Analysis, Information and Applications, Международная конференция, 11-16 декабря 2023, Санкт-Петербург 11-16 Dec 2023
5 Alaev P.
The inversion in fields computable in polynomial time
Мальцевские чтения : Международная конференция 13-17 Nov 2023
6 Алаев П.Е.
Presentations of structures computable in polynomial time
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 Nov 2022
7 Alaev P.
Fields computable in polynomial time
Fourth Workshop on Digitalization and Computable Models 2022 24-29 Oct 2022
8 Alaev P.
Quotient structures and groups computable in polynomial time
17th International Computer Science Symposium in Russia 29 Jun - 1 Jul 2022

Внешние ссылки

ORCID: 0000-0001-5438-3092
ResearcherID: A-9798-2016
РИНЦ ID: 14946

Ученые степени

2007 - Доктор наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел