Goncharov Sergei Savostʹyanovich

Employee

Science activity

Articles - 26 , Conference attendances - 15

Articles (26) More info

1	Goncharov S.S. Computable Boolean Algebras and Complexity of the Fréchet Ideal Journal of Mathematical Sciences (United States). 2024. V.284. N1. P.72–82. DOI: 10.1007/s10958-024-07328-1 Scopus РИНЦ OpenAlex
2	Goncharov S. , Nechesov A. , Sviridenko D. Programming Methodology in Turing-Complete Languages In compilation Proceedings 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024. – IEEE., 2024. – C.272-276. – ISBN 979-8-3315-3202-4. DOI: 10.1109/sibircon63777.2024.10758446 Scopus OpenAlex
3	Nechesov A. , Goncharov S. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem Mathematics. 2024. V.12. N21. 3429 :1-14. DOI: 10.3390/math12213429 WOS Scopus РИНЦ OpenAlex
4	Goncharov S.S. , Xiang J. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals Algebra and Logic. 2024. V.63. N3. P.179–185. DOI: 10.1007/s10469-025-09781-6 WOS Scopus OpenAlex
5	Goncharov S. , Nechesov A. Polynomial-Computable Representation of Neural Networks in Semantic Programming J — Multidisciplinary Scientific Journal. 2023. V.6. N1. P.48-57. DOI: 10.3390/j6010004 РИНЦ OpenAlex
6	Goncharov S. , Nechesov A. Semantic programming for AI and Robotics In compilation 2022 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). – IEEE., 2023. – C.810-815. – ISBN 9781665464802. DOI: 10.1109/sibircon56155.2022.10017077 Scopus OpenAlex
7	Vityaev E.E. , Goncharov S.S. , Sviridenko D.I. Task-driven approach to artificial intelligence Cognitive Systems Research. 2023. V.81. P.50-56. DOI: 10.1016/j.cogsys.2023.05.001 WOS Scopus РИНЦ OpenAlex
8	Goncharov S. , Nechesov A. Axiomatization of Blockchain Theory Mathematics. 2023. V.11. N13. 2966 :1-16. DOI: 10.3390/math11132966 WOS Scopus РИНЦ OpenAlex
9	Goncharov S. , Nechesov A. AI-Driven Digital Twins for Smart Cities In compilation Proceedings of the 10th International Electronic Conference on Sensors and Applications, 15–30 November 2023, MDPI: Basel, Switzerland. 2023. – C.1-7. DOI: 10.3390/ecsa-10-16223 Scopus OpenAlex
10	Vityaev E.E. , Goncharov S.S. , Gumirov V.S. , Mantsivoda A.V. , Nechesov A.V. , Sviridenko D.I. Task approach: on the way to trusting artificial intelligence In compilation ИЗБРАННЫЕ ТРУДЫ. Всемирный конгресс. Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения (26–30 июня 2023 г., Москва).. 2023. – ISBN 978-5-91291-065-4. DOI: 10.18699/sblai2023-41 OpenAlex
11	Goncharov S. , Nechesov A. Solution of the Problem P = L Mathematics. 2022. V.10. N1. 113 . DOI: 10.3390/math10010113 WOS Scopus РИНЦ OpenAlex
12	Badaev S.A. , Goncharov S.S. Rogers Semilattices with Least and Greatest Elements in the Ershov Hierarchy Algebra and Logic. 2022. V.61. N3. P.334-340. DOI: 10.1007/s10469-022-09690-y WOS Scopus РИНЦ OpenAlex
13	Goncharov S. , Nechesov A. Polynomial analogue of gandy’s fixed point theorem Mathematics. 2021. V.9. N17. 2102 . DOI: 10.3390/math9172102 WOS Scopus OpenAlex
14	Goncharov S.S. , Marchuk M.I. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas Algebra and Logic. 2021. V.60. N3. P.200-206. DOI: 10.1007/s10469-021-09642-y WOS Scopus OpenAlex
15	Goncharov S.S. , Harizanov V. , Miller R. On Decidable Categoricity and Almost Prime Models Siberian Advances in Mathematics. 2020. V.30. N3. P.200-212. DOI: 10.3103/S1055134420030050 Scopus OpenAlex
16	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
17	Bazhenov N. , Goncharov S. , Melnikov A. Decompositions of decidable abelian groups International Journal of Algebra and Computation. 2020. V.30. N1. P.49-90. DOI: 10.1142/S0218196719500644 WOS Scopus OpenAlex
18	Goncharov S. , Sviridenko D. Semantic Modeling and Hybrid Models In compilation SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. 2020. – C.987-990. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958196 Scopus OpenAlex
19	Goncharov S.S. , Sviridenko D.I. , Vityaev E.E. Task Approach to Artificial Intelligence CEUR Workshop Proceedings. 2020. V.2642. P.1-6. Scopus
20	Goncharov S.S. , Sviridenko D.I. Logical Language of Description of Polynomial Computing Doklady Mathematics. 2019. V.99. N2. P.121-124. DOI: 10.1134/S1064562419020030 WOS Scopus OpenAlex
21	Goncharov S.S. , Miller R. , Harizanov V. Turing Degrees of Complete Formulas of Almost Prime Models Algebra and Logic. 2019. V.58. N3. P.282-287. DOI: 10.1007/s10469-019-09546-y WOS Scopus OpenAlex
22	Goncharov S.S. , Sviridenko D.I. Recursive Terms in Semantic Programming Siberian Mathematical Journal. 2018. V.59. N6. P.1014-1023. DOI: 10.1134/s0037446618060058 WOS Scopus OpenAlex
23	Goncharov S.S. , Knight J.F. , Souldatos I. Hanf number for Scott sentences of computable structures Archive for Mathematical Logic. 2018. V.57. N7-8. P.889-907. DOI: 10.1007/s00153-018-0615-6 WOS Scopus OpenAlex
24	Goncharov S.S. Conditional terms in semantic programming Siberian Mathematical Journal. 2017. V.58. N5. P.794-800. DOI: 10.1134/S0037446617050068 WOS Scopus OpenAlex
25	Goncharov S.S. , Bazhenov N.A. , Marchuk M.I. The index set of the groups autostable relative to strong constructivizations Siberian Mathematical Journal. 2017. V.58. N1. P.72-77. DOI: 10.1134/S0037446617010104 WOS Scopus OpenAlex
26	Goncharov S.S. , Bazhenov N.A. , Marchuk M.I. Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations Journal of Mathematical Sciences (United States). 2017. V.221. N6. P.840-848. DOI: 10.1007/s10958-017-3272-0 Scopus OpenAlex

Conference attendances (15) More info

1	Goncharov S. , Nechesov A. , Sviridenko D. Programming Methodology in Turing-complete languages. 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024 30 Sep - 2 Oct 2024
2	Goncharov S. , Nechesov A. , Sviridenko D. Programming Methodology for Trusted Artificial Intelligence 14-я Международная мультиконференция «Биоинформатика Геномной Регуляции и Структурной/Системной Биологии» / 14th International Multiconference on “Bioinformatics of Genome Regulation and Structure / Systems Biology” – BGRS/SB-2024 05-10 Aug 2024
3	Goncharov S.S. , Нечёсов А.В. , Sviridenko D.I. Hybrid Artificial Intelligence Международная конференция «Математика в созвездии наук». К юбилею ректора МГУ академика Виктора Антоновича Садовничего 01-02 Apr 2024
4	Goncharov S. , Nechesov A. AI-Driven Digital Twins for Smart Cities 10th International Electronic Conference on Sensors and Applications session Sensors and Artificial Intelligence 15-30 Nov 2023
5	Goncharov S. , Nechesov A. Task approach and semantic programming for AI Program Semantics, Specification and Verification: Theory and Applications November 3-4, 2023, in hybrid mode (at Innopolis and online) 03-04 Nov 2023
6	Nechesov A. , Goncharov S. Semantic Programming for AI and Robotics. IEEE International Multi-Conference on Engineering, Computer and Information Sciences 11-13 Nov 2022
7	Goncharov S.S. , Nechesov A.V. Logic programming language Delta in AI and Robotics. Current State and Development Perspectives of Digital Technologies and Artificial Intelligence 27-28 Oct 2022
8	Goncharov S.S. «Computable models and Semantic Modeling in AI» Lake Baikal Summit 2022 Beyond The Future of ICT Science and Technology 08-10 Aug 2022
9	Goncharov S.S. “Computability over models and applications” International school-seminar "Syntax and semantics of logical systems" 01-05 Aug 2022
10	Goncharov S.S. Computability and polynomial computability over models Algorithmic Presentations in Mathematics 08-12 Nov 2021
11	Goncharov S.S. Computable numberings on the approach by Sorbi and Goncharov "Equivalences, Numberings, Reducibilities" (Satellite Event of the 8th European Congress of Mathematics) 16-18 Jun 2021
12	Goncharov S.S. Some questions and results for classical algebraic structures Joint Mathematics Meetings 16-19 Jan 2019
13	Goncharov S.S. The computability via definability in semantic modeling Logical Pespectives 2018 14-18 May 2018
14	Goncharov S.S. Rogers Semilattices of Generalized computable numberings Computability Theory 06-13 Jan 2018
15	Goncharov S.S. Computable numberings Computability Theory 19-24 Feb 2017

Identifiers

ORCID: 0000-0003-2954-0900

ResearcherID: J-7221-2013

Scopus ID: 56377536800

Elibrary ID: 5347
MathNet: 9178

Degrees

1982 - Dr.Sc.

1975 - Ph.D.

Academic titles

1985 - Professor