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

В базах данных Math-Net.Ru
в MathSciNet: 153 (136)
в zbMATH: 104 (96)
в Web of Science: 60 (51)
в Scopus: 78 (75)
Гончаров Сергей Савостьянович
академик РАН
профессор
доктор физико-математических наук (1982)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 24.09.1951
E-mail: ,
Сайт: https://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html
Ключевые слова: модель, вычислимость, нумерация, семантика, элементарная теория, алгоритмическая размерность, вычислимая нумерация, разрешимость, разрешимая модель, гиперарифметическая модель, спецификация, программа, топология, полурешетки Роджерса, пространства Ершова и Скотта, допустимые множества, группа, поле, булева алгебра, семантическое программирование, вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, простая модель, почти простая модель, эренфойхтова теория, разрешимая теория.

Основные темы научной работы

Области научных интересов — теория алгоритмов, теория моделей, алгебра и приложения этих областей в информатике. Построена теория алгоритмической размерности, в основе которой лежит результат о существовании неустойчивых моделей конечной алгоритмической размерности. Разработаны новые методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей. Установлен критерий разрешимости однородных моделей. На основе его получено решение проблем М. Морли и Перетятькина–Денисова. Решена проблема Мальцева о характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами. Получен ряд результатов о конструктивных булевых алгебрах. Исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости для нильпотентных групп конечного ранга без кручения, а также абелевых $p$ групп. Разработан новый метод построения вычислимых нумераций, позволивший решить ряд проблем о числе нумераций Фридберга, о семействах с единственной позитивной и другие. Совместно с учеными из США Р. Шором, Б. Хусаиновым, П. Чолаком получено решение проблемы об автоустойчивости конечных константных обогащений автоустойчивых моделей. Совместно с Б. Хусаиновым решена проблема двухэлементного спектра с рекурсивной $T$-степенью. Совместно с С. А. Бадаевым решена проблема о семействе с одноэлементной полурешеткой Роджерса, но с нетривиальным включением. Решена проблема о существовании сильно конструктивных однородных расширений. Совместно с итальянским логиком А. Сорби исследована полурешетка Роджерса вычислимых нумераций арифметических множеств. Совместно с Дж. Найт (США) предложена структурная теория вычислимых классов моделей, решена проблема характеризации $\Sigma_1^1$-отношений на вычислимых моделях. Опубликовано более 160 научных работ, из них два учебных пособия: "Lectures in model theory" и "Введение в логику и методологию науки" (совместно с Ю. Л. Ершовым и К. Ф. Самохваловым), монографии "Счетные булевы алгебры" (1988 г.) и "Счетные булевы алгебры и разрешимость" (1996 г., и на английском языке — 1997 г.), "Конструктивные модели" (1999 г., совместно с Ю. Л. Ершовым, на английском языке — 2000 г.) и "Handbook of recursive mathematics" (1999 г., под редакцией С. С. Гончарова, Ю. Л. Ершова, A. Nerode, J. Remmel, V. Marek).

Научная биография:

1973 г. — окончил с отличием механико-математический факультет Новосибирского государственного университета. 1974 г. — защитил кандидатскую диссертацию. 1981 г. — защитил докторскую диссертацию. Имею более 160 публикаций. Руковожу научными семинарами в НГУ и Институте математики СО РАН.

1976 г. — премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам. 1977 г. — звание доцента НГУ. 1982 г. — Серебрянный знак семинара "Алгебра и логика" за активную научную работу. 1983 г. — премия СО РАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко. 1985 г. — звание профессора НГУ. 1991 г. — учредитель (выборщик) Российской академии наук. 1993 г. — избран членом-корреспондентом Академии наук Высшей школы. 1995 г. — избран действительным членом Международной академии наук Высшей школы. 1996 г. — декан ММФ НГУ. 1997 г. — избран членом-корреспондентом Российской академии наук. 1997 г. — премия академика А. И. Мальцева Российской академии наук. Являюсь руководителем гранта РФФИ, со-руководителем грантов ИНТАС, ИНТАС-РФФИ; исполнителем грантов РФФИ-ННИО, Российско-американского гранта, гранта Марсдена Королевского общества Новой Зеландии.

   
Основные публикации:
  • Гончаров С. С. Счетные булевы алгебры и разрешимость. Сибирская Школа Алгебры и Логики. Новосибирск, Научная книга. xii, 1996, 362 с. (монография).
  • Гончаров С. С., Ершов Ю. Л. Конструктивные модели. Сибирская Школа Алгебы и Логики. Новосибирск, Научная книга, xii, 1999, 360 с.
  • Гончаров С. С., Хусаинов Б. О спектре степеней разрешимых отношений // ДАН РАН, 1997, 352(3), 301–303.
  • Goncharov S. S., Khoussainov B., Cholak P., Shore R. Computably categorical structures and expansions by constants // J. Symb. Log., 1999, 64(1), 13–37.
  • Goncharov S. S. (ed.), Ershov Yu. L. (ed.), Nerode A. (ed.), Remmel J. B. (ed.), Marek V. (ed.). Handbook of Recursive Mathematics. Studies in Logic and the Foundations of Mathematics. 138, 139. Amsterdam: Elsevier. xlvi, 1998, 1372 p.

https://www.mathnet.ru/rus/person9178
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/195954
https://elibrary.ru/author_items.asp?spin=3645-1417
https://orcid.org/0000-0001-7465-1189
https://www.webofscience.com/wos/author/record/J-7221-2013
https://www.scopus.com/authid/detail.url?authorId=56377536800

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024), 189–193  mathnet  crossref  mathscinet  adsnasa  isi; A. N. Abyzov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, I. Sh. Kalimullin, V. L. Selivanov, A. L. Semenov, A. Tuganbaev, M. Kh. Faizrahmanov, “Marat Mirzaevich Arslanov (on his eightieth birthday)”, Russian Math. Surveys, 79:2 (2024), 369–373  crossref  mathscinet  isi  scopus
2. Yu. L. Ershov, S. S. Goncharov, A. V. Vasil'ev, M. A. Grechkoseeva, P. S. Kolesnikov, N. S. Romanovskii, A. N. Ryaskin, E. I. Khukhro, “Victor Danilovich Mazurov (on his 80-th birthday)”, Сиб. электрон. матем. изв., 21:1 (2024), 266–270  mathnet  crossref

   2023
3. Ю. Л. Ершов, С. С. Гончаров, А. В. Васильев, М. А. Гречкосеева, П. С. Колесников, Н. С. Романовский, А. Н. Ряскин, Е. И. Хухро, “Виктор Данилович Мазуров (ко дню 80-летия)”, Алгебра и логика, 62:1 (2023), I–V  mathnet

   2022
4. С. А. Бадаев, С. С. Гончаров, “Полурешётки Роджерса с наименьшим и наибольшим элементами в иерархии Ершова”, Алгебра и логика, 61:3 (2022), 334–340  mathnet  crossref
5. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, В. Г. Бардаков, Н. В. Баянова, В. В. Блудов, Л. А. Бокуть, С. В. Вараксин, А. В. Васильев, Е. П. Вдовин, М. А. Гречкосеева, А. В. Зенков, П. С. Колесников, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, Н. А. Перязев, А. Г. Пинус, К. Н. Пономарев, А. М. Попова, В. Н. Ремесленников, В. А. Романьков, Н. С. Романовский, Е. И. Тимошенко, В. А. Чуркин, И. П. Шестаков, “Памяти Валерия Матвеевича Копытова”, Алгебра и логика, 61:6 (2022), I–IV  mathnet

   2021
6. С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 60:3 (2021), 303–312  mathnet  isi; S. S. Goncharov, M. I. Marchuk, “The degree of decidable categoricity of a model with infinite solutions for complete formulas”, Algebra and Logic, 60:3 (2021), 200–206  crossref  isi  scopus 2
7. В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181  crossref  mathscinet  zmath  adsnasa  isi

   2020
8. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394  mathnet  crossref  isi  scopus; 4
9. Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020), 191–194  mathnet  crossref  mathscinet  mathscinet  zmath  adsnasa  isi; L. D. Beklemishev, A. V. Vasil'ev, E. P. Vdovin, S. S. Goncharov, V. V. Kozlov, P. S. Kolesnikov, V. D. Mazurov, Yu. V. Matiyasevich, A. S. Morozov, A. N. Parshin, V. G. Puzarenko, M. V. Schwidefsky, “Yurii Leonidovich Ershov (on his 80th birthday)”, Russian Math. Surveys, 75:3 (2020), 581–585  crossref  mathscinet  mathscinet  zmath  adsnasa  isi

   2019
10. Гончаров С.С., Свириденко Д.И., “Логический язык описания полиномиальной вычислимости”, ДАН, 485:11 (2019), 11–14  zmath  elib; Goncharov S.S., Sviridenko D.I., “Logical Language of Description of Polynomial Computing”, Doklady Mathematics, 99:2 (2019), 121–124  crossref  zmath  isi  scopus 8
11. С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 58:3 (2019), 417–425  mathnet  crossref  zmath  isi; S. S. Goncharov, R. Miller, V. Harizanov, “Turing degrees of complete formulas of almost prime models”, Algebra and Logic, 58:3 (2019), 282–287  crossref  mathscinet  isi  scopus 2
12. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10  mathnet  crossref  mathscinet  isi
13. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  crossref  mathscinet  zmath  adsnasa  isi 1

   2018
14. С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290  mathnet  crossref  mathscinet  zmath  isi; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023  crossref  mathscinet  zmath  isi  elib  scopus 9
15. Goncharov S.S., Knight J.F., Souldatos I., “Hanf number for Scott sentences of computable structures”, Archive for Mathematical Logic, 57:7–8 (2018), 889–907  crossref  mathscinet  zmath  isi  scopus

   2017
16. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017), 95–103  mathnet  crossref  isi  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Siberian Math. J., 58:1 (2017), 72–77  crossref  isi  elib  scopus 9
17. С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 58:5 (2017), 1026–1034  mathnet  crossref  isi  elib; S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Math. J., 58:5 (2017), 794–800  crossref  isi  elib  scopus 18

   2015
18. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей нетривиальных сигнатур”, Докл. АН, 461:2 (2015), 140–142  crossref  zmath  elib; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations”, Dokl. Math., 91:2 (2015), 158–159  crossref  mathscinet  zmath  isi  elib  scopus 5
19. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192  mathnet  crossref  mathscinet  zmath  isi  elib; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations”, Algebra and Logic, 54:2 (2015), 108–126  crossref  mathscinet  zmath  isi  scopus 15
20. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. мат. журн., 56:3 (2015), 498–512 http://math.nsc.ru/smz/2015/03/498.html  mathnet  crossref  crossref  mathscinet  zmath  isi  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations”, Siberian Math. J., 56:3 (2015), 393–404  crossref  mathscinet  zmath  isi  isi  elib  scopus 18
21. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов”, Докл. АН, 464:1 (2015), 12–14  crossref  zmath  elib
22. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015 (в печати)  elib
23. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015) (в печати)  mathscinet  zmath
24. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Сиб. журн. чист. и прикл. матем., 15:3 (2015), 51–60  mathnet  crossref  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of linear orderings that are autostable relative to strong constructivizations”, J. Math. Sci., 221:6 (2017), 840–848  crossref  elib 5
25. Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528  mathnet  crossref  mathscinet  isi  elib; E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341  crossref  mathscinet  isi  scopus 11
26. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 54:6 (2015), 663–679  mathnet  crossref  mathscinet  isi  elib; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations”, Algebra and Logic, 54:6 (2015), 428–439  crossref  mathscinet  isi  scopus 13
27. С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015), 477–480  mathnet  mathscinet

   2014
28. С. А. Бадаев, С. С. Гончаров, “Обобщëнно вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569  mathnet  mathscinet  isi  elib; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364  crossref  mathscinet  isi  scopus 25

   2013
29. С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52  mathnet; S. S. Goncharov, “Index Sets of Almost Prime Constructive Models”, J. Math. Sci., 205:3 (2015), 355–367  crossref  elib 5
30. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67  mathnet  elib; S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, J. Math. Sci., 205:3 (2015), 368–388  crossref  elib 9
31. С. С. Гончаров, Ю. Л. Ершов, В. М. Левчук, В. Д. Мазуров, В. И. Сенашов, А. И. Созутов, Н. С. Черников, “Владимир Петрович Шунков”, УМН, 68:4(412) (2013), 177–178  mathnet  crossref  mathscinet  adsnasa  isi  elib; S. S. Goncharov, Yu. L. Ershov, V. M. Levchuk, V. D. Mazurov, V. I. Senashov, A. I. Sozutov, N. S. Chernikov, “Vladimir Petrovich Shunkov (obituary)”, Russian Math. Surveys, 68:4 (2013), 769–771  crossref  mathscinet  adsnasa  isi  elib  scopus
32. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34  mathnet

   2012
33. Гончаров С. С., “Problems of autostability and spectrum of autostability”, The Bulletin of Symbolic Logic, 18:3 (2012), 422-423  mathscinet

   2011
34. С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 119–129  mathnet  mathscinet  isi  elib; S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115 http://link.springer.com/article/10.1134/S0081543811060071  crossref  mathscinet  isi  elib  scopus 32
35. Гончаров С.С., Дроботун Б.Н., Никитин А.А., ОСНОВАНИЯ ДИДАКТИКИ ОБУЧЕНИЯ ЛОГИКО-АЛГЕБРАИЧЕСКИМ ДИСЦИПЛИНАМ В ВЫСШЕЙ ШКОЛЕ монография : в 2 ч. / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин, Ч.1 : Научно-теоретические и идейно-методологические предпосылки / Учреждение Рос. акад. образования “Ин-т пед. исслед. одаренности детей”, Изд-во ИПИО РАО, Новосибирск, 2011 , 269 с., Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе [Текст] : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А.А. Никитин ; . - - 2011. -с. : ил. - Библиогр.: с. 258-264 . - http://elibrary.ru/item.asp?id=19465508
36. Иванисенко В.А., Подколодный Н.Л., Деменков П.С., Иванисенко Т.В., Подколодная О.А., Игнатьева Е.В., Хлебодарова Т.М., Подколодная Н.Н., Ананько Е.А., Гончаров С.С., Колчанов Н., “ИЗВЛЕЧЕНИЕ ЗНАНИЙ ИЗ ТЕКСТОВ НАУЧНЫХ ПУБЛИКАЦИЙ И СОЗДАНИЕ БАЗ ЗНАНИЙ В ОБЛАСТИ НАНОБИОТЕХНОЛОГИИ”, Российские нанотехнологии, 6:7-8 (2011) , 7 с.  elib
37. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (II)”, Педагогические заметки, 4:2 (2011) , 17 с.  zmath  elib
38. Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey, “Inductive inference and computable numberings”, Theoretical Computer Science, 412:18 (2011), 1652-1668 http://www.sciencedirect.com/science/article/pii/S0304397510007425  crossref  mathscinet  zmath  isi  elib  scopus 6
39. А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 201–204  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Russian Math. Surveys, 66:1 (2011), 199–203  crossref  mathscinet  zmath  adsnasa  isi

   2010
40. С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 65:5(395) (2010), 107–142  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. S. Goncharov, “On autostability of almost prime models relative to strong constructivizations”, Russian Math. Surveys, 65:5 (2010), 901–935  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 16
41. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (I)”, Педагогические заметки, 3 (2010) , 13 с.  elib
42. Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; et al., “Decidability and Computability of Certain Torsion-Free Abelian Groups”, Notre Dame Journal of Formal Logic, 51:1 (2010) , 11 pp. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1273002111  crossref  mathscinet  scopus 4
43. С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семëнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010), 75–78  mathnet

   2009
44. С. С. Гончаров, “Автоустойчивость простых моделей относительно сильных конструктивизаций”, Алгебра и логика, 48:6 (2009), 729–740  mathnet  mathscinet  zmath  isi  elib; S. S. Goncharov, “Autostability of prime models under strong constructivizations”, Algebra and Logic, 48:6 (2009), 410–417  crossref  mathscinet  zmath  isi  elib  scopus 13
45. Chisholm J., Fokina E.B., Goncharov S.S., Harizanov V.S., Knight J.F., Quinn S., “INTRINSIC BOUNDS ON COMPLEXITY AND DEFINABILITY AT LIMIT LEVELS”, Journal of Symbolic Logic, 74:3 (2009), 1047-1060 http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1245158098  crossref  mathscinet  zmath  elib  scopus 19
46. Calvert, W.; Goncharov, S. S.; Knight, J. F.; et al., “Categoricity of computable infinitary theories”, Archive For Mathematical Logic, 48:1 (2009) , 13 pp. http://link.springer.com/article/10.1007  crossref  mathscinet  zmath  isi  scopus 2
47. Гончаров С.С., ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки высшего профессионального образования 010100 Математика и специальности 010101 Математика : [в 2 ч.] / С. С. Гончаров ;, Федеральное агентство по образованию, Новосибирский гос. ун-т, Механико-мат. фак.. Новосибирск,, 2009  elib

   2008
48. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Несколько замечаний о пополнениях нумераций”, Сиб. матем. журн., 49:5 (2008), 986–991  mathnet  mathscinet  isi  elib; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Some remarks on completion of numberings”, Siberian Math. J., 49:5 (2008), 780–783  crossref  mathscinet  isi  elib  scopus 4
49. Гончаров С.С, “О ДВУХ ПРОБЛЕМАХ ТЬЮРИНГОВОЙ СЛОЖНОСТИ ДЛЯ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Доклады Академии наук, 420 (2008), 589-591  mathnet  mathscinet  zmath  isi  elib; S. S. Goncharov, “On two problems of Turing complexity for strongly minimal theories”, Dokl. Math., 77:3 (2008), 438–440  crossref  mathscinet  zmath  isi  elib  scopus
50. Гончаров С.С., “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ СЧЕТНЫХ МОДЕЛЕЙ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика., 8, 2 (2008) , 6 с.  elib
51. Goncharov S.S., “ON TWO PROBLEMS OF TURING COMPLEXITY FOR STRONGLY MINIMAL THEORIES”, Doklady Mathematics, 77:3 (2008), 438-440  mathnet  crossref  mathscinet  zmath  isi  elib  scopus
52. Гончаров С.С., Когабаев Н.Т., “О $\Sigma$01-КЛАССИФИКАЦИИ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ СТРУКТУРАХ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 8 (2008) , 9 с.  elib
53. Serikzhan Badaev, Sergey Goncharov, “Computability and Numberings”, New Computational Paradigms Changing Conceptions of What is Computable, http://link.springer.com/book/10.1007/978-0-387-68546-5, ISBN: 978-0-387-36033-1 (Print) 978-0-387-68546-5 (Online), Springer, 2008, 19-34 http://link.springer.com/chapter/10.1007/978-0-387-68546-5_2  zmath
54. Деменков П.С., Яркова Е.Э., Иванисенко В.А., Гончаров С.С., Колчанов Н.А., “Предсказание изменения термодинамической стабильности белков при одиночных аминокислотных заменах”, Системная компьютерная биология, Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]. -, Интеграционные проекты СО РАН; вып. 14, ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 269-275 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
55. Иванисенко В.А., Деменков П.С., Фомин Э.С., Крестьянова М.А., Ошурков И.С., Иванисенко Т.В., Иванисенко Н.В., Пинтус С.С., Яркова Е.Э., Степаненко И.Л., Сурнина Н.Ю., Гончаров С.С., Колчанов Н.А., “Распознавание функциональных сайтов в пространственных структурах белков”, Системная компьютерная биология ; Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., (Интеграционные проекты СО РАН; вып. 14), ред. / отв. ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 231-244 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
56. С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32  mathnet 2
57. С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53  mathnet
58. С. С. Гончаров, Б. Н. Дроботун, “О роли математической логики в образовании по математическим направлениям”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 15–25  mathnet

   2007
59. Calvert W., Fokina E., Goncharov S.S., Kudinov O., Morozov A.S., Puzarenko V., Knight J.F., “INDEX SETS FOR CLASSES OF HIGH RANK STRUCTURES”, Journal of Symbolic Logic, 72:4 (2007), 1418-1432  crossref  mathscinet  zmath  isi  elib  scopus 10
60. Goncharov S. S., “Computability and Computable Models”, Mathematical Problems from Applied Logic II International Mathematical Series. Vol. 5, Editors: Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, Springer, 2007, 99-216 http://link.springer.com/chapter/10.1007/978-0-387-69245-6_3  mathscinet  zmath
61. Гончаров С.С., МАТЕМАТИЧЕСКАЯ ЛОГИКА учебное пособие, / С. С. Гончаров ; Федеральное агентство по образованию, Новосибирский гос. ун-т, Мех.-мат. фак.. Новосибирск, Том Ч. 1, 2007  elib

   2006
62. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешëток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654  mathnet  mathscinet  zmath  elib; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy”, Algebra and Logic, 45:6 (2006), 361–370  crossref  mathscinet  zmath  scopus 25
63. С. С. Гончаров, “Приветственное обращение Главного редактора к читателям”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 3–4  mathnet
64. С. С. Гончаров, “Александр Васильевич Кажихов. 1946–2005”, Вестн. НГУ. Сер. матем., мех., информ., 6:2 (2006), 3–5  mathnet

   2005
65. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешëток Роджерса”, Алгебра и логика, 44:3 (2005), 261–268  mathnet  mathscinet  zmath  elib; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Elementary Theories for Rogers Semilattices”, Algebra and Logic, 44:3 (2005), 143–147  crossref  mathscinet  zmath  elib  scopus 15
66. С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532  mathnet  mathscinet  isi; S. S. Goncharov, V. S. Harizanova, J. F. Knight, A. S. Morozov, A. V. Romina, “On automorphic tuples of elements in computable models”, Siberian Math. J., 46:3 (2005), 405–412  crossref  mathscinet  isi  scopus 7
67. Goncharov S., Harizanov V., Knight J., McCoy C., Miller R., Solomon R., “ENUMERATIONS IN COMPUTABLE STRUCTURE THEORY”, Annals of Pure and Applied Logic, 136:3 (2005) , 7 pp.  crossref  mathscinet  zmath  isi  elib  scopus 73
68. С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11  mathnet  zmath

   2004
69. С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 43:6 (2004), 650–665  mathnet  mathscinet  zmath; S. S. Goncharov, B. Khoussainov, “Complexity of Categorical Theories with Computable Models”, Algebra and Logic, 43:6 (2004), 365–373  crossref  mathscinet  zmath  scopus 31
70. С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 43:2 (2004), 170–183  mathnet  mathscinet  zmath  zmath; S. S. Goncharov, Ch. F. McCoy, J. F. Knight, V. S. Harizanova, “Relatively Hyperimmune Relations on Structures”, Algebra and Logic, 43:2 (2004), 94–101  crossref  mathscinet  zmath  zmath  scopus 2
71. Goncharov S.S., Harizanov V.S., Knight J.F., Shore R.A., “$\Pi^1_1$ RELATIONS AND PATHS THROUGH $O$”, Journal of Symbolic Logic, 69:2 (2004), 585-611  crossref  mathscinet  zmath  isi  elib  scopus 14

   2003
72. С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193  mathnet  mathscinet  zmath; S. S. Goncharov, R. Downey, D. Hirschfeldt, “Degree Spectra of Relations on Boolean Algebras”, Algebra and Logic, 42:2 (2003), 105–111  crossref  mathscinet  zmath  scopus 10
73. М. М. Лаврентьев, Ю. Л. Ершов, С. С. Кутателадзе, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Г. Решетняк, В. Г. Романов, В. Д. Мазуров, “О Сергее Львовиче Соболеве”, Сиб. матем. журн., 44:5 (2003), 953–960  mathnet  mathscinet  zmath
74. Goncharov S.S., Lempp S., Solomon R., “THE COMPUTABLE DIMENSION OF ORDERED ABELIAN GROUPS”, Advances in Mathematics, 175:1 (2003), http://www.sciencedirect.com/science/article/pii/S0001870802000427 , 41 pp. http://www.sciencedirect.com/science/article/pii/S0001870802000427  crossref  mathscinet  zmath  isi  elib  scopus 26
75. Goncharov S.S., Harizanov V.S., Laskowski M.C., Lempp S., McCoy C.F.D., “TRIVIAL, STRONGLY MINIMAL THEORIES ARE MODEL COMPLETE AFTER NAMING CONSTANTS”, Proceedings of the American Mathematical Society, 131:12 (2003), 3901-3912  crossref  mathscinet  zmath  isi  elib  scopus 14
76. Serikzhan Badaev, Sergey Goncharov, Andrea Sorbi, “Completeness and Universality of Arithmetical Numberings”, Computability and Models The University Series in Mathematics, Springer, 2003, 11-44  mathscinet
77. S. S. Goncharov, V. S. Harizanov, J. F. Knight, C. F. D. McCoy, “Simple and immune relations on countable structures”, Arch. Math. Logic, 42:3 (2003), 279–291  crossref  mathscinet  zmath  isi  scopus 3
78. С. С. Гончаров, А. Е. Гутман, Ю. Л. Ершов, С. С. Кутателадзе, В. Л. Макаров, А. М. Нахушев, Ю. Г. Решетняк, В. М. Тихомиров, Г. Н. Шотаев, “Анатолию Георгиевичу Кусраеву — 50 лет”, Владикавк. матем. журн., 5:1 (2003), 5–7  mathnet  mathscinet 1
79. [А.А. Никити, И.В. Силантьев, С.С. Гончаров и др., СПЕЦИАЛИЗИРОВАННОЕ ОБРАЗОВАНИЕ, Под ред. А.А. Никитина и И.В. Силантьева; Предисл. Н.Л. Добрецова; М-во образования Рос. Федерации, Новосиб. гос. ун-т. Специализир. учеб.-науч. центр физ.-мат. и хим.-биол. профиля. Новосибирск,, 2003  elib

   2002
80. С. С. Гончаров, Д. Ф. Найт, “Вычислимые структурные и антиструктурные теоремы”, Алгебра и логика, 41:6 (2002), 639–681  mathnet  mathscinet  zmath; S. S. Goncharov, J. F. Knight, “Computable Structure and Non-Structure Theorems”, Algebra and Logic, 41:6 (2002), 351–373  crossref  mathscinet  zmath  scopus 107
81. С. С. Гончаров, C. Лемпп, Д. Соломон, “Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств”, Алгебра и логика, 41:2 (2002), 143–154  mathnet  mathscinet  zmath; S. S. Goncharov, S. Lempp, R. Solomon, “Friedberg Numberings of Families of $n$-Computably Enumerable Sets”, Algebra and Logic, 41:2 (2002), 81–86  crossref  mathscinet  zmath  scopus 31
82. Goncharov, SS, “Rigid relations on constructive models”, Doklady Mathematics, 65:3 (2002), 363-364  mathnet  mathscinet  zmath  isi
83. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 52-54 pp.  mathscinet  elib
84. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 5 pp.  mathscinet

   2001
85. С. А. Бадаев, С. С. Гончаров, “О полурешетках Роджерса семейств арифметических множеств”, Алгебра и логика, 40:5 (2001), 507–522  mathnet  mathscinet  zmath; S. A. Badaev, S. S. Goncharov, “Rogers Semilattices of Families of Arithmetic Sets”, Algebra and Logic, 40:5 (2001), 283–291  crossref  mathscinet  zmath  scopus 43
86. М. М. Лаврентьев, В. Л. Береснев, И. С. Борисов, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, А. А. Могульский, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Александр Алексеевич Боровков (к 70-летию со дня рождения)”, Сиб. матем. журн., 42:2 (2001), 243–248  mathnet  mathscinet  zmath 1

   2000
87. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, С. С. Кутателадзе, П. И. Плотников, Ю. Г. Решетняк, В. Г. Романов, “Михаил Алексеевич Лаврентьев (к 100-летию со дня рождения)”, Сиб. матем. журн., 41:5 (2000), 969–983  mathnet  mathscinet  zmath 1
88. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, В. Д. Мазуров, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Юрий Леонидович Ершов (к 60-летию со дня рождения)”, Сиб. матем. журн., 41:2 (2000), 243–246  mathnet  mathscinet 1
89. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55:6(336) (2000), 173–182  mathnet  crossref  mathscinet  zmath  adsnasa  isi; S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, D. M. Smirnov, “Yuri Leonidovich Ershov (on his 60th birthday)”, Russian Math. Surveys, 55:6 (2000), 1193–1204  crossref  mathscinet  zmath  adsnasa  isi
90. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000), 3–9  mathnet  mathscinet  zmath

   1999
91. Ершов Ю. Л., Гончаров С. С., Конструктивные модели, (Сибирская школа алгебры и логики), Научная книга, Новосибирск, 1999 , 360 с.  mathscinet
92. Cholak, P; Goncharov, S; Khoussivnov, B; et al., “Computably categorical structures and expansions by constants Volume: 64 Issue: 1 Pages: 13-37 Published: MAR 1999”, Journal of Symbolic Logic, 64:1 (1999) , 24 pp.  crossref  mathscinet  zmath  isi  scopus 21

   1998
93. CONSTRUCTIVE MODELS Ershov Yu.L., Goncharov S.S., “CHAPTER 2 ELEMENTARY THEORIES AND THEIR”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800037 , 115-165 pp. http://www.sciencedirect.com/science/article/pii/S0049237X98800037  crossref  elib  scopus 3
94. Goncharov, SS, “Decidable Boolean algebras of low level”, Annals of Pure and Applied Logic, 94:1-3 (1998), http://www.sciencedirect.com/science/article/pii/S0168007297000687 , 20 pp.  crossref  mathscinet  isi  scopus
95. Goncharov S.S., “Chapter 6 Autostable models and algorithmic dimensions Original Volume 138, 1998,”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800074 , 17 pp.  scopus
96. Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, “Introduction to the handbook of Recursive Mathematics”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800013 , vii-xlvi pp.  scopus
97. Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, “Introduction to the handbook of recursive mathematics”, Studies in Logic and the Foundations of Mathematics, 139 (1998), vii-xlvi  scopus
98. С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 37:1 (1998), 36–62  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, S. A. Badaev, “Families with one-element Rogers semilattice”, Algebra and Logic, 37:1 (1998), 21–34  crossref  mathscinet  zmath  scopus 4

   1997
99. Goncharov S.S., Khusainov B., “ON THE SPECTRUM OF DEGREES OF DECIDABLE RELATIONS”, Doklady Mathematics, 55:1 (1997) , 7 pp.  mathscinet  zmath  elib
100. Goncharov S. S., Countable Boolean algebras and decidability, Siberian School of Algebra and Logic, NY: Plenum. XII, Siberian School of Algebra and Logic, New-York, NY: Plenum. xii, New-York, 1997 , 318 с. с.  mathscinet  zmath
101. Goncharov, SS; Khusainov, B, “On degrees spectra of decidable relations”, Doklady Akademii Nauk, 352:3 (1997), 301-303  mathnet  mathnet  mathscinet  zmath  isi
102. Goncharov, Sergei S., Countable Boolean Algebras and Decidability, Algebraic Properties of Boolean Algebras. Elementary Classification of Boolean Algebras. Constructive Boolean Algebras. Index., Siberian School of Algebra and Logic, Springer, 1997 http://www.springer.com/mathematics/algebra/book/978-0-306-11061-0  mathscinet
103. С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 36:6 (1997), 621–641  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices”, Algebra and Logic, 36:6 (1997), 359–369  crossref  mathscinet  zmath  scopus 92

   1996
104. Гончаров С. С., Счетные булевы алгебры и разрешимость, Сибирская школа алгебры и логики, Научная книга, Новосибирск, 1996 , 373 с.
105. Badaev, SA; Goncharov, SS; Ershov, YL; et al., “On computable minimal enumerations”, Algebra, 1996 , 21-33 pp.  zmath

   1995
106. С. С. Гончаров, М. Пурмахдиан, “Итерированные обогащения моделей счетных теорий и их приложения”, Алгебра и логика, 34:6 (1995), 623–645  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, M. Pourmahdian, “Iterated expansions of models for countable theories and their applications”, Algebra and Logic, 34:6 (1995), 346–358  crossref  mathscinet  zmath  scopus 1

   1994
107. S. S. Goncharov, “A unique positive enumeration”, Siberian Adv. Math., 4:1 (1994), 52–64  mathscinet  zmath

   1993
108. С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37  mathnet  mathscinet  zmath  isi; S. S. Goncharov, “Computable classes of constructivizations for models of finite computability type”, Siberian Math. J., 34:5 (1993), 812–824  crossref  mathscinet  zmath  isi  scopus 5
109. Гончаров С. С., “Позитивные вычислимые нумерации”, Доклады АН СССР, 332:2 (1993) , 2 с.  zmath; GONCHAROV, SS, “POSITIVE COMPUTABLE ENUMERATIONS”, Doklady Akademii Nauk, 332:2 (1993) , 2 pp.  mathscinet  zmath
110. Гончаров С. С., “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631-664  mathnet  mathscinet  zmath; Goncharov S. S., “Effectively infinite classes of weak constructivizations of models”, Algebra and Logic Plenum Publ.Corp.,, 32:6 (1993), 342-360  crossref  mathscinet  zmath  scopus 5
111. S. Goncharov, A. Yakhnis; V. Yakhnis, “Some effectively infinite classes of enumerations”, Annals of Pure and Applied Logic, 60:3 (1993) , 18 pp. http://www.sciencedirect.com/science/article/pii/016800729390076P  crossref  mathscinet  zmath  isi  scopus 8
112. S. S. Goncharov, A. Yakhnis, V. Yakhnis, “Effectively infinite classes of enumerations”, Siberian Adv. Math., 3:1 (1993), 94–120  mathscinet  zmath
113. В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1,1,0)$”, Алгебра и логика, 32:6 (1993), 618–630  mathnet  mathscinet  mathscinet  zmath; V. N. Vlasov, S. S. Goncharov, “Strong constructibility of Boolean algebras of elementary characteristic $(1,1,0)$”, Algebra and Logic, 32:6 (1993), 334–341  crossref  mathscinet  zmath  scopus 8
114. С. С. Гончаров, “Позитивные вычислимые нумерации”, Докл. РАН, 332:2 (1993), 142–143  mathnet  mathscinet  zmath; S. S. Goncharov, “Positive computable enumerations”, Dokl. Math., 48:2 (1994), 268–270  mathscinet  zmath 3

   1992
115. С. С. Гончаров, “Семейства с единственной позитивной нумерацией”, Вычисл. системы, 146 (1992), 96–104  mathscinet

   1991
116. С. С. Гончаров, “Об одном способе эффективной реализации программ в семантическом программировании”, Вычисл. системы, 139 (1991), 117–123  mathscinet

   1990
117. С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990), 171–173  mathnet  mathscinet  adsnasa  isi; S. S. Goncharov, Yu. L. Ershov, M. M. Lavrent'ev, L. L. Maksimova, T. G. Mustafin, S. P. Novikov, E. A. Palyutin, M. G. Peretyat'kin, Yu. G. Reshetnyak, D. M. Smirnov, “Asan Dabsovich Taimanov (obituary)”, Russian Math. Surveys, 45:5 (1990), 213–215  crossref  mathscinet  adsnasa  isi  scopus 1

   1989
118. С. С. Гончаров, А. В. Молоков, Н. С. Романовский, “Нильпотентные группы конечной алгоритмической размерности”, Сибирский математический журнал, 30:1 (1989) , 7 с.  mathnet  mathscinet  mathscinet  zmath  isi; S. S. Goncharov, A. V. Molokov, N. S. Romanovskii, “Nilpotent groups of finite algorithmic dimension”, Siberian Mathematical Journal, 30:1 (1989) , 6 pp.  crossref  mathscinet  mathscinet  zmath  isi  scopus 21
119. С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики СО АН СССР, 12 (1989), 24–39  mathscinet  zmath; S. S. Goncharov, “The characterization of axiomatizable classes with strong epimorphisms”, Sib. Adv. Math., 1:2 (1991), 57–76  mathscinet  zmath
120. С. С, Гончаров, Б. Н. Дроботун, “Об алгоритмической размерности нильпотентных групп”, Сиб. мат. журн., 30:2 (1989), 52–60  mathnet  mathscinet  mathscinet  zmath  isi; S. S. Goncharov, B. N. Drobotun, “Algorithmic dimension of nilpotent groups”, Siberian Math. J., 30:2 (1989), 210–217  crossref  mathscinet  mathscinet  zmath  zmath  isi  scopus 4
121. С. С. Гончаров, Д. И. Свириденко, “Логическое программирование в широком смысле”, Вычисл. системы, 129 (1989), 3–48  mathscinet  zmath
122. С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики, 12 (1989), 24–39  mathnet  mathscinet  zmath
123. А. Т. Гайнов, С. С. Гончаров, Ю. Л. Ершов, Д. А. Захаров, Е. Н. Кузьмин, Л. Л. Максимова, Ю. И. Мерзляков, Д. М. Смирнов, А. Д. Тайманов, В. К. Харченко, Е. И. Хухро, “К восьмидесятилетию выдающегося советского математика академика А. И. Мальцева”, Алгебра и логика, 28:6 (1989), 615–618  mathnet  mathscinet
124. А. Д. Больбот, С. С. Гончаров, В. А. Горбунов, Ю. Л. Ершов, Е. Н. Кузьмин, В. Д. Мазуров, Ю. И. Мерзляков, Е. А. Палютин, В. К. Харченко, Е. И. Хухро, “Дмитрий Матвеевич Смирнов (к семидесятилетию со дня рождения)”, Алгебра и логика, 28:5 (1989), 491–492  mathnet  mathscinet

   1988
125. С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики СО АН СССР, 8 (1988), 42–58  mathscinet  zmath
126. С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики, 8 (1988), 42–58  mathnet  mathscinet  zmath

   1987
127. Yu. L. Ershov, S. S. Goncharov, D. I. Sviridenko, “Semantic foundations of programming”, Lecture Notes in Computer Science, 278 (1987), 116-122  crossref  zmath  isi  scopus 8
128. S. S. Goncharov, “Axiomatizable classes with strong homomorphisms”, Studia Logica, 46:2 (1987), 113–120  crossref  mathscinet  zmath  scopus
129. С. С. Гончаров, В. Д. Дзгоев, “Позитивные модели и абстрактные типы данных”, Вычисл. системы, 122 (1987), 47–58  mathscinet  zmath
130. С. С. Гончаров, Д. И. Свириденко, “$\Sigma^{+}$-программы и их семантики”, Вычисл. системы, 120 (1987), 24–51  mathscinet  zmath

   1986
131. S. S. Goncharov, D. I. Sviridenko, “Theoretical aspects of $\Sigma$-programming”, Lecture Notes in Computer Science, 215 (1986) , 10 pp.  mathscinet  zmath  isi
132. С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Доклады АН СССР, 289:6 (1986), 1324-1328  mathnet  mathscinet  zmath; S. S. Goncharov, D. I. Sviridenko, “Mathematical principles of semantic programming”, Doklady Akademii Nauk SSSR, 289:6 (1986), 1324-1328  mathnet  mathscinet  zmath  isi 5
133. С. С. Гончаров, “Теория списков и ее модели”, Вычисл. системы, 114 (1986), 84–95  mathscinet  zmath
134. С. С. Гончаров, “Замечание об аксиомах списочной надстройки GES”, Вычисл. системы, 114 (1986), 11–15  mathscinet  zmath
135. С. С. Гончаров, “Об аксиомах для классов с сильными гомоморфизмами”, Вычисл. системы, 116 (1986), 140–155  mathscinet  zmath

   1985
136. C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Алгебра и логика, 24:6 (1985), 718–727  mathnet  mathscinet  mathscinet  zmath; C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Algebra and Logic, 24:6 (1985), 471–476  crossref  mathscinet  zmath  scopus
137. S. S. Goncharov, “Axioms for classes with strong epimorphisms”, Proceedings of the third Easter conference on model theory (Gross Köris, 1985), Seminarberichte, 70, Humboldt Univ., Berlin, 1985, 99–102  mathscinet  zmath
138. S. S. Goncharov, “Strongly constructive models”, Proceedings of the third Easter conference on model theory (Gross Köris, 1985), Seminarberichte, 70, Humboldt Univ., Berlin, 1985, 103–114  mathscinet  zmath
139. С. С. Гончаров, “Модели данных и языки их описаний”, Вычисл. системы, 107 (1985), 52–70  mathscinet  zmath; S. S. Goncharov, “Data models and languages for their description”, Am. Math. Soc. Translations – Series 2, 143 (1989), 139–152  crossref  zmath
140. С. С. Гончаров, Д. И. Свириденко, “$\Sigma$-программирование”, Вычисл. системы, 107 (1985), 3–29  mathscinet  zmath; S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programming”, Am. Math. Soc. Translations – Series 2, 142 (1989), 101–121  crossref  zmath 9

   1984
141. С. С. Гончаров, А. А, Новиков, “Примеры неавтоустойчивых систем”, Сиб. мат. журн., 25:4 (1984), 37–45  mathnet  crossref  mathscinet  mathscinet  zmath  isi  isi  scopus; S. S. Goncharov, A. A. Novikov, “Examples of nonautostable systems”, Siberian Math. J., 25:4 (1984), 538–545  crossref  mathscinet  mathscinet  zmath  isi  scopus 2

   1983
142. С. С. Гончаров, “Универсальные рекурсивно перечислимые булевы алгебры”, Сиб. мат. журн., 24:6 (1983), 36-43  mathnet  crossref  mathscinet  mathscinet  zmath  isi  isi  scopus; S. S. Goncharov, “Universal recursively enumerable Boolean algebras”, Siberian Math. J., 24:6 (1983), 852–858  crossref  mathscinet  mathscinet  zmath  isi  scopus
143. С. С. Гончаров, “Позитивные нумерации семейств с однозначными нумерациями”, Алгебра и логика, 22:5 (1983), 481–488  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, “Positive numerations of families with one-valued numerations”, Algebra and Logic, 22:5 (1983), 345–350  crossref  mathscinet  zmath  scopus 3

   1982
144. С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики СО АН СССР, 2, Институт математики СО АН СССР, 1982, 4–12  mathscinet  zmath
145. С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики, 2 (1982), 4–12  mathnet  mathscinet  zmath
146. S. S. Goncharov, V. D. Dzgoev, K. F. Samokhvalov and D. I. Sviridenko., Handbook of mathematical logic. Part I. Model theory, Translation edited and with a preface by Yu. L. Ershov, E. A. Palyutin and A. D. Taǐmanov. With a supplement by Palyutin., Nauka, Moscow, 1982 , 392 pp.  mathscinet

   1981
147. С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Доклады АН СССР, 256 (1981) , 4 с.  mathscinet  zmath; S. S. Goncharov, “Groups with a finite number of constructivizations”, Soviet Math. Dokl., 23:2 (1981) , 4 pp.  mathscinet  zmath  isi
148. С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Докл. АН СССР, 256:2 (1981), 269–272  mathnet  mathscinet  zmath 2

   1980
149. С. С. Гончаров, “Тотально трансцендентная теория с неконструктивизируемой простой моделью”, Сиб. мат. журн., 21:1 (1980) , 6 с.  mathnet  crossref  mathscinet  zmath  isi  isi  scopus; S. S. Goncharov, “Totally transcendental theory with a nonconstructivizable prime model”, Siberian Math. J., 21:1 (1980), 32–37  crossref  mathscinet  zmath  isi 9
150. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980) , 271-274 с.  mathscinet  zmath  isi; S. S. Goncharov, “The problem of the number of nonautoequivalent constructivizations”, Soviet. Math. Dokl., 21 (1980) , 411-414 pp.  mathscinet  zmath
151. С. С. Гончаров, Б. Н. Дроботун, “О нумерациях насыщенных и однородных моделей”, Сиб. мат. журн., 21:2 (1980), 25–41  mathnet  mathscinet  mathscinet  zmath  isi; S. S. Goncharov, B. N. Drobotun, “Numerations of saturated and homogeneous models”, Siberian Math. J., 21:2 (1980), 164–176  crossref  mathscinet  mathscinet  zmath  zmath  isi  scopus 2
152. С. С. Гончаров, “Автоустойчивость моделей и абелевых групп”, Алгебра и логика, 19:1 (1980), 23–44  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, “Autostability of models and Abelian groups”, Algebra and Logic, 19:1 (1980), 13–27  crossref  mathscinet  zmath  scopus 12
153. С. С. Гончаров, В. Д. Дзгоев, “Автоустойчивость моделей”, Алгебра и логика, 19:1 (1980), 45–58  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, V. D. Dzgoev, “Autostability of models”, Algebra and Logic, 19:1 (1980), 28–37  crossref  mathscinet  zmath  scopus 36
154. С. С. Гончаров, “Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей”, Алгебра и логика, 19:2 (1980), 137–149  mathnet  mathscinet  mathscinet; S. S. Goncharov, “A totally transcendental decidable theory without constructivizable homogeneous models”, Algebra and Logic, 19:2 (1980), 85–93  crossref  mathscinet  scopus 2
155. С. С. Гончаров, “Вычислимые однозначные нумерации”, Алгебра и логика, 19:5 (1980), 507–551  mathnet  mathscinet  mathscinet; S. S. Goncharov, “Computable single-valued numerations”, Algebra and Logic, 19:5 (1980), 325–356  crossref  zmath  scopus 7
156. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Алгебра и логика, 19:6 (1980), 621–639  mathnet  mathscinet  mathscinet; S. S. Goncharov, “Problem of the number of non-self-equivalent constructivizations”, Algebra and Logic, 19:6 (1980), 401–414  crossref  mathscinet  zmath  scopus 29
157. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980), 271–274  mathnet  mathscinet  zmath 4

   1978
158. С. С. Гончаров, “Конструктивные модели $\aleph_1$-категоричных теорий”, Матем. заметки, 23:6 (1978), 885–888  mathnet  mathscinet  zmath; S. S. Goncharov, “Constructive models of $\aleph_1$-categorical theories”, Math. Notes, 23:6 (1978), 486–487  crossref  mathscinet  zmath  scopus 12
159. С. С. Гончаров, “Сильная конструктивизируемость однородных моделей”, Алгебра и логика, 17:4 (1978), 363–388  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, “Strong constructivizability of homogeneous models”, Algebra and Logic, 17:4 (1978), 247–263  crossref  mathscinet  scopus 3

   1977
160. С. С. Гончаров, “О числе неавтоэквивалентных конструктивизаций”, Алгебра и логика, 16:3 (1977), 257–282  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, “The quantity of nonautoequivalent constructivizations”, Algebra and Logic, 16:3 (1977), 169–185  crossref  mathscinet  scopus 12

   1976
161. С. С. Гончаров, “Неавтоэквивалентные конструктивизации атомных булевых алгебр”, Матем. заметки, 19:6 (1976), 853–858  mathnet  mathscinet  zmath; S. S. Goncharov, “Non-self-equivalent constructivization of atomic Boolean algebras”, Math. Notes, 19:6 (1976), 500–503  crossref  mathscinet  zmath  scopus 2
162. С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. мат. журн., 17:4 (1976), 797–812  mathnet  mathscinet  mathscinet  zmath  isi; S. S. Goncharov, “Restricted theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611  crossref  mathscinet  mathscinet  zmath  isi  scopus 8

   1975
163. С. С. Гончаров, “Автоустойчивость и вычислимые семейства конструктивизаций”, Алгебра и логика, 14:6 (1975), 647–680  mathnet  mathscinet  mathscinet  zmath; S. S. Goncharov, “Autostability and computable families of constructivizations”, Algebra and Logic, 14:6 (1975), 392–409  crossref  mathscinet  scopus 12
164. С. С. Гончаров, “Некоторые свойства конструктивизаций булевых алгебр”, Сиб. мат. журн., 16:2 (1975), 264–278  mathnet  mathscinet  mathscinet  zmath  isi; S. S. Goncharov, “Some properties of the constructivization of Boolean algebras”, Siberian Math. J., 16:2 (1975), 203–214  crossref  mathscinet  mathscinet  zmath  zmath  isi  scopus 36

   1974
165. С. С. Гончаров, Конструктивные булевы алгебры, диссертация кандидата физико-математических наук, Издательство Института математики СО АН СССР, Новосибирск, 1974 , 121 с.

   1973
166. С. С. Гончаров, “Конструктивизируемость суператомных булевых алгебр”, Алгебра и логика, 12:1 (1973) , 9 с.  mathscinet; S. S. Goncharov, “Constructivizability of superatomic Boolean algebras”, Algebra and Logic, 12:1 (1974) , 6 pp.  crossref  mathscinet  scopus 32
167. С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 12:2 (1973) , 8 с.  mathscinet; S. S. Goncharov, A. T. Nurtazin, “Constructive models of complete solvable theories”, Algebra and Logic, 12:2 (1974) , 11 pp.  crossref  mathscinet  scopus 54
168. С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 12:2 (1973), 125–142  mathnet  mathscinet 6
169. С. С. Гончаров, “Конструктивизируемость суператомных булевых алгебр”, Алгебра и логика, 12:1 (1973), 31–40  mathnet  mathscinet 12

Доклады и лекции в базе данных Math-Net.Ru
1. Логических подход к проблемам управления и ИИ в рамках семантического моделирования
С. С. Гончаров
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
8 ноября 2022 г. 17:30   
2. The computability via definability in semantic modeling
Sergei S. Goncharov
Logical Perspectives 2018
17 мая 2018 г. 11:30   
3. Decidability, complexity and index sets of classes of computable models
С. С. Гончаров
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
18 июля 2016 г. 12:10   
4. Математические исследования в Институте математики им. С. Л. Соболева СО РАН и взаимодействие с институтами и университетами Сибири
С. С. Гончаров
Общее собрание Отделения математических наук РАН, 2016
21 марта 2016 г. 14:30   
5. Открытие конференции
С. С. Гончаров
Междкнародная конференция, посвященная 90-летию со дня рождения Г. И. Марчука "Современные проблемы вычислительной математики и математического моделирования"
8 июня 2015 г. 15:00   

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