Научная деятельность
Статьи (30) Подробнее
| 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 В сборнике 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 |
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 |
| 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 В сборнике 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 |
Goncharov S.
, Nechesov A.
Axiomatization of Blockchain Theory Mathematics. 2023. V.11. N13. 2966 :1-16. DOI: 10.3390/math11132966 WOS Scopus РИНЦ OpenAlex |
| 8 |
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 В сборнике ИЗБРАННЫЕ ТРУДЫ. Всемирный конгресс. Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения (26–30 июня 2023 г., Москва).. 2023. – ISBN 978-5-91291-065-4. DOI: 10.18699/sblai2023-41 OpenAlex |
| 9 |
Goncharov S.
, Nechesov A.
AI-Driven Digital Twins for Smart Cities В сборнике 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 |
Витяев Е.Е.
, Гончаров С.С.
, Гумиров В.Ш.
, Манцивода А.В.
, Нечесов А.В.
, Свириденко Д.И.
Задачный подход: на пути к доверительному искусственному интеллекту В сборнике ИЗБРАННЫЕ ТРУДЫ. Всемирный конгресс. Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения (26–30 июня 2023 г., Москва).. 2023. – C.199-243. – ISBN 978-5-91291-065-4. |
| 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 |
Бадаев С.А.
, Гончаров С.С.
Полурешетки Роджерса с наименьшим и наибольшим элементом в иерархии Ершова Алгебра и логика. 2022. Т.61. №3. DOI: 10.33048/alglog.2022.61.304 РИНЦ |
| 13 |
Гончаров С.С.
, Нечесов А.В.
Объектно-ориентированный логический язык программирования для искусственного интеллекта и робототехники. В сборнике Математическая логика и компьютерные науки. Труды Международной научной конференции 7-8 октября 2022 г., Астана, Казахстан. – ЕНУ., 2022. – C.191-195. – ISBN 978-601-337-776-6. |
| 14 |
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 |
| 15 |
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 |
| 16 |
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 |
| 17 |
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 |
| 18 |
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 |
| 19 |
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 |
| 20 |
Goncharov S.
, Sviridenko D.
Semantic Modeling and Hybrid Models В сборнике 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 |
| 21 |
Vityaev E.E.
, Goncharov S.S.
, Sviridenko D.I.
О задачном подходе в искусственном интеллекте Сибирский философский журнал. 2020. Т.18. №2. С.5-29. DOI: 10.25205/2541-7517-2020-18-2-5-29 OpenAlex |
| 22 |
Goncharov S.S.
, Sviridenko D.I.
, Vityaev E.E.
Task Approach to Artificial Intelligence CEUR Workshop Proceedings. 2020. V.2642. P.1-6. Scopus |
| 23 |
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 |
| 24 |
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 |
| 25 |
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 |
| 26 |
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 |
| 27 |
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 |
| 28 |
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 |
| 29 |
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 |
| 30 |
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 |
Тезисы докладов (1) Подробнее
| 1 |
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology for Trusted Artificial Intelligence В сборнике Тезисы докладов четырнадцатой международной мультиконференции "Биоинформатика регуляции и структуры геномов / системная биология". 2024. – ISBN 978-5-91291-067-8. |
Доклады на конференциях (28) Подробнее
| 1 |
Гончаров С.С.
Логические проблемы в гарантированном и доверенном ИИ Марчуковские научные чтения 2024 07-10 окт. 2024 |
| 2 |
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 |
| 3 |
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 |
| 4 |
Гончаров С.С.
, Нечесов А.В.
Некоторые вопросы доверия и безопасности в искусственном интеллекте XIV Международная молодежная научно-практическая конференция с элементами научной школы «ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА» 20-25 мая 2024 |
| 5 |
Goncharov S.S.
, Нечёсов А.В.
, Sviridenko D.I.
Hybrid Artificial Intelligence Международная конференция «Математика в созвездии наук». К юбилею ректора МГУ академика Виктора Антоновича Садовничего 01-02 Apr 2024 |
| 6 |
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 |
| 7 |
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 |
| 8 |
Гончаров С.
, Нечесов А.
Задачный подход в искусственном интеллекте: новые возможности и вызовы. Третья конференция Математических центров России 10-15 окт. 2023 |
| 9 |
С.С. Гончаров
Математическая логика и доверительный ИИ Всемирный конгресс «Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения» 26-30 июн. 2023 |
| 10 |
Гончаров С.С.
, Нечесов А.В.
Семантическое программирование: новый подход в искусственном интеллекте XIII МЕЖДУНАРОДНАЯ МОЛОДЕЖНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ С ЭЛЕМЕНТАМИ НАУЧНОЙ ШКОЛЫ "ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА" 15-20 мая 2023 |
| 11 |
Nechesov A.
, Goncharov S.
Semantic Programming for AI and Robotics. IEEE International Multi-Conference on Engineering, Computer and Information Sciences 11-13 Nov 2022 |
| 12 |
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 |
| 13 |
Гончаров С.
, Свириденко Д.
, Нечесов А.
Логико-математическое описание полиномиальной вычислимости International Scientific Conference on Mathematical Logic and Computer Science 07-08 окт. 2022 |
| 14 |
Goncharov S.
, Nechesov A.
Semantic programming in AI and Robotics. Global Summit of Robotics and Artificial Intelligence, Robotics 2022 18-19 авг. 2022 |
| 15 |
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 |
| 16 |
Goncharov S.S.
“Computability over models and applications” International school-seminar "Syntax and semantics of logical systems" 01-05 Aug 2022 |
| 17 |
Гончаров С.С.
Семантическое моделирование и применение в задачах управления XII Международная молодежная научно-практическая конференция с элементами научной школы «Прикладная математика и фундаментальная информатика», посвященная 110-летию со дня рождения академика РАН Леонида Витальевича Канторовича 16-21 мая 2022 |
| 18 |
Гончаров С.С.
«Доверительный ИИ и семантическое моделирование». Всероссийская междисциплинарная конференция «Философия искусственного интеллекта» Искусственный интеллект: проблема доверия. 27-27 апр. 2022 |
| 19 |
Goncharov S.S.
Computability and polynomial computability over models Algorithmic Presentations in Mathematics 08-12 Nov 2021 |
| 20 |
Гончаров С.С.
Применение семантического программирования в искусственном интеллекте VIII Международная конференция «Знания–Онтологии–Теории» 08-12 нояб. 2021 |
| 21 |
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 |
| 22 |
Гончаров С.С.
Степени автоустойчивости моделей и вычислимые функционалы Международная конференция "Мальцевские чтения", Новосибирск, 16-19 ноября 2020 г. 16-19 нояб. 2020 |
| 23 |
Гончаров С.С.
Проблемы цифровизации и семантическое моделирование ХII Мультиконференция по проблемам управления 23-28 сент. 2019 |
| 24 |
Гончаров С.С.
О степенях Тьюринга автоустойчивости относительно разрешимых представлений почти простых моделей Алгебра и математическая логика 24-28 июн. 2019 |
| 25 |
Goncharov S.S.
Some questions and results for classical algebraic structures Joint Mathematics Meetings 16-19 Jan 2019 |
| 26 |
Goncharov S.S.
The computability via definability in semantic modeling Logical Pespectives 2018 14-18 May 2018 |
| 27 |
Goncharov S.S.
Rogers Semilattices of Generalized computable numberings Computability Theory 06-13 Jan 2018 |
| 28 |
Goncharov S.S.
Computable numberings Computability Theory 19-24 Feb 2017 |
Внешние ссылки
ORCID:
0000-0003-2954-0900
ResearcherID:
J-7221-2013
Scopus ID:
56377536800
РИНЦ ID:
5347
Ученые степени
1982 - Доктор наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел
1975 - Кандидат наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел
Ученые звания
1985 - Профессор
Награды
| 15 мар. 2021 г. | - |
Орден Почета Орден, Государственные награды РФ |
| 25 окт. 2010 г. | - |
Премия правительства рф в области Образования Почетное звание, Государственные награды РФ |
| 9 окт. 2010 г. | - |
Государственная Премия Новосибирской области Премия, Региональные награды |
| 15 сент. 2008 г. | - |
«Заслуженный работник высшей школы Российской Федерации» Почетное звание, Государственные награды РФ |
| 15 мая 2003 г. | - |
Орден Дружбы Орден, Государственные награды РФ |
| 18 окт. 1997 г. | - |
Премия РАН А.И. Мальцева Премия, Награды РАН и отделений РАН |
| 29 окт. 1976 г. | - |
Премия Ленинского комсомола в области науки за Исследования некоторых свойств конструктивных моделей Почетное звание, Награды Федеральных органов исполнительной власти |