Области научных интересов — теория алгоритмов, теория моделей, алгебра и приложения этих областей в информатике. Построена теория алгоритмической размерности, в основе которой лежит результат о существовании неустойчивых моделей конечной алгоритмической размерности. Разработаны новые методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей.
Установлен критерий разрешимости однородных моделей. На основе его получено решение проблем М. Морли и Перетятькина–Денисова.
Решена проблема Мальцева о характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами.
Получен ряд результатов о конструктивных булевых алгебрах. Исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости для нильпотентных групп конечного ранга без кручения, а также абелевых $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.
С. С. Гончаров, Д. Ф. Найт, “Вычислимые структурные и антиструктурные теоремы”, Алгебра и логика, 41:6 (2002), 639–681; S. S. Goncharov, J. F. Knight, “Computable Structure and Non-Structure Theorems”, Algebra and Logic, 41:6 (2002), 351–373
С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 36:6 (1997), 621–641; S. S. Goncharov, A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices”, Algebra and Logic, 36:6 (1997), 359–369
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.
С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 12:2 (1973) , 8 с. ; S. S. Goncharov, A. T. Nurtazin, “Constructive models of complete solvable theories”, Algebra and Logic, 12:2 (1974) , 11 pp.
54
5.
С. А. Бадаев, С. С. Гончаров, “О полурешетках Роджерса семейств арифметических множеств”, Алгебра и логика, 40:5 (2001), 507–522; S. A. Badaev, S. S. Goncharov, “Rogers Semilattices of Families of Arithmetic Sets”, Algebra and Logic, 40:5 (2001), 283–291
С. С. Гончаров, В. Д. Дзгоев, “Автоустойчивость моделей”, Алгебра и логика, 19:1 (1980), 45–58; S. S. Goncharov, V. D. Dzgoev, “Autostability of models”, Algebra and Logic, 19:1 (1980), 28–37
С. С. Гончаров, “Некоторые свойства конструктивизаций булевых алгебр”, Сиб. мат. журн., 16:2 (1975), 264–278; S. S. Goncharov, “Some properties of the constructivization of Boolean algebras”, Siberian Math. J., 16:2 (1975), 203–214
С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 119–129; S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115http://link.springer.com/article/10.1134/S0081543811060071
С. С. Гончаров, “Конструктивизируемость суператомных булевых алгебр”, Алгебра и логика, 12:1 (1973) , 9 с. ; S. S. Goncharov, “Constructivizability of superatomic Boolean algebras”, Algebra and Logic, 12:1 (1974) , 6 pp.
32
10.
С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 43:6 (2004), 650–665; S. S. Goncharov, B. Khoussainov, “Complexity of Categorical Theories with Computable Models”, Algebra and Logic, 43:6 (2004), 365–373
С. С. Гончаров, C. Лемпп, Д. Соломон, “Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств”, Алгебра и логика, 41:2 (2002), 143–154; S. S. Goncharov, S. Lempp, R. Solomon, “Friedberg Numberings of Families of $n$-Computably Enumerable Sets”, Algebra and Logic, 41:2 (2002), 81–86
С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Алгебра и логика, 19:6 (1980), 621–639; S. S. Goncharov, “Problem of the number of non-self-equivalent constructivizations”, Algebra and Logic, 19:6 (1980), 401–414
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
С. А. Бадаев, С. С. Гончаров, “Обобщëнно вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешëток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654; 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
С. С. Гончаров, А. В. Молоков, Н. С. Романовский, “Нильпотентные группы конечной алгоритмической размерности”, Сибирский математический журнал, 30:1 (1989) , 7 с. ; S. S. Goncharov, A. V. Molokov, N. S. Romanovskii, “Nilpotent groups of finite algorithmic dimension”, Siberian Mathematical Journal, 30:1 (1989) , 6 pp.
С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 58:5 (2017), 1026–1034; S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Math. J., 58:5 (2017), 794–800
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. мат. журн., 56:3 (2015), 498–512http://math.nsc.ru/smz/2015/03/498.html; 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
С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 65:5(395) (2010), 107–142; S. S. Goncharov, “On autostability of almost prime models relative to strong constructivizations”, Russian Math. Surveys, 65:5 (2010), 901–935
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192; 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
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешëток Роджерса”, Алгебра и логика, 44:3 (2005), 261–268; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Elementary Theories for Rogers Semilattices”, Algebra and Logic, 44:3 (2005), 143–147
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
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 54:6 (2015), 663–679; 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
С. С. Гончаров, “Автоустойчивость простых моделей относительно сильных конструктивизаций”, Алгебра и логика, 48:6 (2009), 729–740; S. S. Goncharov, “Autostability of prime models under strong constructivizations”, Algebra and Logic, 48:6 (2009), 410–417
С. С. Гончаров, “Автоустойчивость моделей и абелевых групп”, Алгебра и логика, 19:1 (1980), 23–44; S. S. Goncharov, “Autostability of models and Abelian groups”, Algebra and Logic, 19:1 (1980), 13–27
С. С. Гончаров, “Конструктивные модели $\aleph_1$-категоричных теорий”, Матем. заметки, 23:6 (1978), 885–888; S. S. Goncharov, “Constructive models of $\aleph_1$-categorical theories”, Math. Notes, 23:6 (1978), 486–487
С. С. Гончаров, “О числе неавтоэквивалентных конструктивизаций”, Алгебра и логика, 16:3 (1977), 257–282; S. S. Goncharov, “The quantity of nonautoequivalent constructivizations”, Algebra and Logic, 16:3 (1977), 169–185
С. С. Гончаров, “Автоустойчивость и вычислимые семейства конструктивизаций”, Алгебра и логика, 14:6 (1975), 647–680; S. S. Goncharov, “Autostability and computable families of constructivizations”, Algebra and Logic, 14:6 (1975), 392–409
Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528; 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
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
С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193; S. S. Goncharov, R. Downey, D. Hirschfeldt, “Degree Spectra of Relations on Boolean Algebras”, Algebra and Logic, 42:2 (2003), 105–111
С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017), 95–103; 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
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67; S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, J. Math. Sci., 205:3 (2015), 368–388
С. С. Гончаров, Д. И. Свириденко, “$\Sigma$-программирование”, Вычисл. системы, 107 (1985), 3–29; S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programming”, Am. Math. Soc. Translations – Series 2, 142 (1989), 101–121
9
40.
С. С. Гончаров, “Тотально трансцендентная теория с неконструктивизируемой простой моделью”, Сиб. мат. журн., 21:1 (1980) , 6 с. ; S. S. Goncharov, “Totally transcendental theory with a nonconstructivizable prime model”, Siberian Math. J., 21:1 (1980), 32–37
В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1,1,0)$”, Алгебра и логика, 32:6 (1993), 618–630; 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
С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. мат. журн., 17:4 (1976), 797–812; S. S. Goncharov, “Restricted theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611
С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532; 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
С. С. Гончаров, “Вычислимые однозначные нумерации”, Алгебра и логика, 19:5 (1980), 507–551; S. S. Goncharov, “Computable single-valued numerations”, Algebra and Logic, 19:5 (1980), 325–356
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей нетривиальных сигнатур”, Докл. АН, 461:2 (2015), 140–142; 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
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Сиб. журн. чист. и прикл. матем., 15:3 (2015), 51–60; 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
С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52; S. S. Goncharov, “Index Sets of Almost Prime Constructive Models”, J. Math. Sci., 205:3 (2015), 355–367
С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37; S. S. Goncharov, “Computable classes of constructivizations for models of finite computability type”, Siberian Math. J., 34:5 (1993), 812–824
С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Доклады АН СССР, 289:6 (1986), 1324-1328; S. S. Goncharov, D. I. Sviridenko, “Mathematical principles of semantic programming”, Doklady Akademii Nauk SSSR, 289:6 (1986), 1324-1328
S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394;
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Несколько замечаний о пополнениях нумераций”, Сиб. матем. журн., 49:5 (2008), 986–991; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Some remarks on completion of numberings”, Siberian Math. J., 49:5 (2008), 780–783
С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 37:1 (1998), 36–62; S. S. Goncharov, S. A. Badaev, “Families with one-element Rogers semilattice”, Algebra and Logic, 37:1 (1998), 21–34
С. С, Гончаров, Б. Н. Дроботун, “Об алгоритмической размерности нильпотентных групп”, Сиб. мат. журн., 30:2 (1989), 52–60; S. S. Goncharov, B. N. Drobotun, “Algorithmic dimension of nilpotent groups”, Siberian Math. J., 30:2 (1989), 210–217
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
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
С. С. Гончаров, “Позитивные нумерации семейств с однозначными нумерациями”, Алгебра и логика, 22:5 (1983), 481–488; S. S. Goncharov, “Positive numerations of families with one-valued numerations”, Algebra and Logic, 22:5 (1983), 345–350
С. С. Гончаров, “Сильная конструктивизируемость однородных моделей”, Алгебра и логика, 17:4 (1978), 363–388; S. S. Goncharov, “Strong constructivizability of homogeneous models”, Algebra and Logic, 17:4 (1978), 247–263
С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 60:3 (2021), 303–312; 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
С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 58:3 (2019), 417–425; S. S. Goncharov, R. Miller, V. Harizanov, “Turing degrees of complete formulas of almost prime models”, Algebra and Logic, 58:3 (2019), 282–287
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
С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32
С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 43:2 (2004), 170–183; 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
С. С. Гончаров, А. А, Новиков, “Примеры неавтоустойчивых систем”, Сиб. мат. журн., 25:4 (1984), 37–45; S. S. Goncharov, A. A. Novikov, “Examples of nonautostable systems”, Siberian Math. J., 25:4 (1984), 538–545
С. С. Гончаров, Б. Н. Дроботун, “О нумерациях насыщенных и однородных моделей”, Сиб. мат. журн., 21:2 (1980), 25–41; S. S. Goncharov, B. N. Drobotun, “Numerations of saturated and homogeneous models”, Siberian Math. J., 21:2 (1980), 164–176
С. С. Гончаров, “Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей”, Алгебра и логика, 19:2 (1980), 137–149; S. S. Goncharov, “A totally transcendental decidable theory without constructivizable homogeneous models”, Algebra and Logic, 19:2 (1980), 85–93
М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, С. С. Кутателадзе, П. И. Плотников, Ю. Г. Решетняк, В. Г. Романов, “Михаил Алексеевич Лаврентьев (к 100-летию со дня рождения)”, Сиб. матем. журн., 41:5 (2000), 969–983
М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, В. Д. Мазуров, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Юрий Леонидович Ершов (к 60-летию со дня рождения)”, Сиб. матем. журн., 41:2 (2000), 243–246
С. С. Гончаров, М. Пурмахдиан, “Итерированные обогащения моделей счетных теорий и их приложения”, Алгебра и логика, 34:6 (1995), 623–645; S. S. Goncharov, M. Pourmahdian, “Iterated expansions of models for countable theories and their applications”, Algebra and Logic, 34:6 (1995), 346–358
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
81.
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов”, Докл. АН, 464:1 (2015), 12–14
82.
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015 (в печати)
83.
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015) (в печати)
84.
Гончаров С. С., “Problems of autostability and spectrum of autostability”, The Bulletin of Symbolic Logic, 18:3 (2012), 422-423
85.
Гончаров С.С., Дроботун Б.Н., Никитин А.А., ОСНОВАНИЯ ДИДАКТИКИ ОБУЧЕНИЯ ЛОГИКО-АЛГЕБРАИЧЕСКИМ ДИСЦИПЛИНАМ В ВЫСШЕЙ ШКОЛЕ монография : в 2 ч. / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин, Ч.1 : Научно-теоретические и идейно-методологические предпосылки / Учреждение Рос. акад. образования “Ин-т пед. исслед. одаренности детей”, Изд-во ИПИО РАО, Новосибирск, 2011 , 269 с., Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе [Текст] : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А.А. Никитин ; . - - 2011. -с. : ил. - Библиогр.: с. 258-264 . - http://elibrary.ru/item.asp?id=19465508
86.
Иванисенко В.А., Подколодный Н.Л., Деменков П.С., Иванисенко Т.В., Подколодная О.А., Игнатьева Е.В., Хлебодарова Т.М., Подколодная Н.Н., Ананько Е.А., Гончаров С.С., Колчанов Н., “ИЗВЛЕЧЕНИЕ ЗНАНИЙ ИЗ ТЕКСТОВ НАУЧНЫХ ПУБЛИКАЦИЙ И СОЗДАНИЕ БАЗ ЗНАНИЙ В ОБЛАСТИ НАНОБИОТЕХНОЛОГИИ”, Российские нанотехнологии, 6:7-8 (2011) , 7 с.
87.
Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (II)”, Педагогические заметки, 4:2 (2011) , 17 с.
88.
Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (I)”, Педагогические заметки, 3 (2010) , 13 с.
89.
Гончаров С.С, “О ДВУХ ПРОБЛЕМАХ ТЬЮРИНГОВОЙ СЛОЖНОСТИ ДЛЯ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Доклады Академии наук, 420 (2008), 589-591; S. S. Goncharov, “On two problems of Turing complexity for strongly minimal theories”, Dokl. Math., 77:3 (2008), 438–440
90.
Гончаров С.С., “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ СЧЕТНЫХ МОДЕЛЕЙ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика., 8, 2 (2008) , 6 с.
91.
Goncharov S.S., “ON TWO PROBLEMS OF TURING COMPLEXITY FOR STRONGLY MINIMAL THEORIES”, Doklady Mathematics, 77:3 (2008), 438-440
92.
Гончаров С.С., Когабаев Н.Т., “О $\Sigma$01-КЛАССИФИКАЦИИ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ СТРУКТУРАХ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 8 (2008) , 9 с.
93.
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-34http://link.springer.com/chapter/10.1007/978-0-387-68546-5_2
94.
Деменков П.С., Яркова Е.Э., Иванисенко В.А., Гончаров С.С., Колчанов Н.А., “Предсказание изменения термодинамической стабильности белков при одиночных аминокислотных заменах”, Системная компьютерная биология, Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]. -, Интеграционные проекты СО РАН; вып. 14, ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 269-275http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
95.
Иванисенко В.А., Деменков П.С., Фомин Э.С., Крестьянова М.А., Ошурков И.С., Иванисенко Т.В., Иванисенко Н.В., Пинтус С.С., Яркова Е.Э., Степаненко И.Л., Сурнина Н.Ю., Гончаров С.С., Колчанов Н.А., “Распознавание функциональных сайтов в пространственных структурах белков”, Системная компьютерная биология ; Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., (Интеграционные проекты СО РАН; вып. 14), ред. / отв. ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 231-244http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
96.
С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53
97.
С. С. Гончаров, Б. Н. Дроботун, “О роли математической логики в образовании по математическим направлениям”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 15–25
98.
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-216http://link.springer.com/chapter/10.1007/978-0-387-69245-6_3
99.
С. С. Гончаров, “Приветственное обращение Главного редактора к читателям”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 3–4
100.
С. С. Гончаров, “Александр Васильевич Кажихов. 1946–2005”, Вестн. НГУ. Сер. матем., мех., информ., 6:2 (2006), 3–5
101.
М. М. Лаврентьев, Ю. Л. Ершов, С. С. Кутателадзе, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Г. Решетняк, В. Г. Романов, В. Д. Мазуров, “О Сергее Львовиче Соболеве”, Сиб. матем. журн., 44:5 (2003), 953–960
102.
Serikzhan Badaev, Sergey Goncharov, Andrea Sorbi, “Completeness and Universality of Arithmetical Numberings”, Computability and Models The University Series in Mathematics, Springer, 2003, 11-44
Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 52-54 pp.
105.
Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 5 pp.
106.
Ершов Ю. Л., Гончаров С. С., Конструктивные модели, (Сибирская школа алгебры и логики), Научная книга, Новосибирск, 1999 , 360 с.
107.
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.
108.
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.
109.
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.
110.
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
111.
Goncharov S.S., Khusainov B., “ON THE SPECTRUM OF DEGREES OF DECIDABLE RELATIONS”, Doklady Mathematics, 55:1 (1997) , 7 pp.
112.
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 с. с.
113.
Goncharov, SS; Khusainov, B, “On degrees spectra of decidable relations”, Doklady Akademii Nauk, 352:3 (1997), 301-303
114.
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
115.
Гончаров С. С., Счетные булевы алгебры и разрешимость, Сибирская школа алгебры и логики, Научная книга, Новосибирск, 1996 , 373 с.
116.
Badaev, SA; Goncharov, SS; Ershov, YL; et al., “On computable minimal enumerations”, Algebra, 1996 , 21-33 pp.
117.
S. S. Goncharov, “A unique positive enumeration”, Siberian Adv. Math., 4:1 (1994), 52–64
118.
Гончаров С. С., “Позитивные вычислимые нумерации”, Доклады АН СССР, 332:2 (1993) , 2 с. ; GONCHAROV, SS, “POSITIVE COMPUTABLE ENUMERATIONS”, Doklady Akademii Nauk, 332:2 (1993) , 2 pp.
119.
S. S. Goncharov, A. Yakhnis, V. Yakhnis, “Effectively infinite classes of enumerations”, Siberian Adv. Math., 3:1 (1993), 94–120
120.
С. С. Гончаров, “Семейства с единственной позитивной нумерацией”, Вычисл. системы, 146 (1992), 96–104
121.
С. С. Гончаров, “Об одном способе эффективной реализации программ в семантическом программировании”, Вычисл. системы, 139 (1991), 117–123
122.
С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики СО АН СССР, 12 (1989), 24–39; S. S. Goncharov, “The characterization of axiomatizable classes with strong epimorphisms”, Sib. Adv. Math., 1:2 (1991), 57–76
123.
С. С. Гончаров, Д. И. Свириденко, “Логическое программирование в широком смысле”, Вычисл. системы, 129 (1989), 3–48
124.
С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики СО АН СССР, 8 (1988), 42–58
125.
S. S. Goncharov, “Axiomatizable classes with strong homomorphisms”, Studia Logica, 46:2 (1987), 113–120
126.
С. С. Гончаров, В. Д. Дзгоев, “Позитивные модели и абстрактные типы данных”, Вычисл. системы, 122 (1987), 47–58
127.
С. С. Гончаров, Д. И. Свириденко, “$\Sigma^{+}$-программы и их семантики”, Вычисл. системы, 120 (1987), 24–51
128.
S. S. Goncharov, D. I. Sviridenko, “Theoretical aspects of $\Sigma$-programming”, Lecture Notes in Computer Science, 215 (1986) , 10 pp.
129.
С. С. Гончаров, “Теория списков и ее модели”, Вычисл. системы, 114 (1986), 84–95
130.
С. С. Гончаров, “Замечание об аксиомах списочной надстройки GES”, Вычисл. системы, 114 (1986), 11–15
131.
С. С. Гончаров, “Об аксиомах для классов с сильными гомоморфизмами”, Вычисл. системы, 116 (1986), 140–155
132.
C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Алгебра и логика, 24:6 (1985), 718–727; C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Algebra and Logic, 24:6 (1985), 471–476
133.
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
134.
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
135.
С. С. Гончаров, “Модели данных и языки их описаний”, Вычисл. системы, 107 (1985), 52–70; S. S. Goncharov, “Data models and languages for their description”, Am. Math. Soc. Translations – Series 2, 143 (1989), 139–152
136.
С. С. Гончаров, “Универсальные рекурсивно перечислимые булевы алгебры”, Сиб. мат. журн., 24:6 (1983), 36-43; S. S. Goncharov, “Universal recursively enumerable Boolean algebras”, Siberian Math. J., 24:6 (1983), 852–858
137.
С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики СО АН СССР, 2, Институт математики СО АН СССР, 1982, 4–12
138.
С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Доклады АН СССР, 256 (1981) , 4 с. ; S. S. Goncharov, “Groups with a finite number of constructivizations”, Soviet Math. Dokl., 23:2 (1981) , 4 pp.
139.
С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980) , 271-274 с. ; S. S. Goncharov, “The problem of the number of nonautoequivalent constructivizations”, Soviet. Math. Dokl., 21 (1980) , 411-414 pp.
140.
С. С. Гончаров, Конструктивные булевы алгебры, диссертация кандидата физико-математических наук, Издательство Института математики СО АН СССР, Новосибирск, 1974 , 121 с.
141.
С. А. Бадаев, С. С. Гончаров, “Полурешётки Роджерса с наименьшим и наибольшим элементами в иерархии Ершова”, Алгебра и логика, 61:3 (2022), 334–340
142.
С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики, 12 (1989), 24–39
143.
С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики, 8 (1988), 42–58
144.
С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики, 2 (1982), 4–12
145.
С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180; 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
С. С. Гончаров, А. Е. Гутман, Ю. Л. Ершов, С. С. Кутателадзе, В. Л. Макаров, А. М. Нахушев, Ю. Г. Решетняк, В. М. Тихомиров, Г. Н. Шотаев, “Анатолию Георгиевичу Кусраеву — 50 лет”, Владикавк. матем. журн., 5:1 (2003), 5–7
М. М. Лаврентьев, В. Л. Береснев, И. С. Борисов, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, А. А. Могульский, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Александр Алексеевич Боровков (к 70-летию со дня рождения)”, Сиб. матем. журн., 42:2 (2001), 243–248
С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990), 171–173; 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
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10
150.
С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015), 477–480
151.
С. С. Гончаров, Ю. Л. Ершов, В. М. Левчук, В. Д. Мазуров, В. И. Сенашов, А. И. Созутов, Н. С. Черников, “Владимир Петрович Шунков”, УМН, 68:4(412) (2013), 177–178; 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
152.
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34
153.
А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 201–204; 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
154.
С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семëнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010), 75–78
155.
Гончаров С.С., ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки высшего профессионального образования 010100 Математика и специальности 010101 Математика : [в 2 ч.] / С. С. Гончаров ;, Федеральное агентство по образованию, Новосибирский гос. ун-т, Механико-мат. фак.. Новосибирск,, 2009
156.
Гончаров С.С., МАТЕМАТИЧЕСКАЯ ЛОГИКА учебное пособие, / С. С. Гончаров ; Федеральное агентство по образованию, Новосибирский гос. ун-т, Мех.-мат. фак.. Новосибирск, Том Ч. 1, 2007
157.
С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11
158.
[А.А. Никити, И.В. Силантьев, С.С. Гончаров и др., СПЕЦИАЛИЗИРОВАННОЕ ОБРАЗОВАНИЕ, Под ред. А.А. Никитина и И.В. Силантьева; Предисл. Н.Л. Добрецова; М-во образования Рос. Федерации, Новосиб. гос. ун-т. Специализир. учеб.-науч. центр физ.-мат. и хим.-биол. профиля. Новосибирск,, 2003
159.
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55:6(336) (2000), 173–182; 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
160.
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000), 3–9
161.
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.
162.
А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024), 189–193; 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
163.
Ю. Л. Ершов, С. С. Гончаров, А. В. Васильев, М. А. Гречкосеева, П. С. Колесников, Н. С. Романовский, А. Н. Ряскин, Е. И. Хухро, “Виктор Данилович Мазуров (ко дню 80-летия)”, Алгебра и логика, 62:1 (2023), I–V
164.
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, В. Г. Бардаков, Н. В. Баянова, В. В. Блудов, Л. А. Бокуть, С. В. Вараксин, А. В. Васильев, Е. П. Вдовин, М. А. Гречкосеева, А. В. Зенков, П. С. Колесников, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, Н. А. Перязев, А. Г. Пинус, К. Н. Пономарев, А. М. Попова, В. Н. Ремесленников, В. А. Романьков, Н. С. Романовский, Е. И. Тимошенко, В. А. Чуркин, И. П. Шестаков, “Памяти Валерия Матвеевича Копытова”, Алгебра и логика, 61:6 (2022), I–IV
165.
В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194; 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
166.
Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020), 191–194; 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
167.
А. Т. Гайнов, С. С. Гончаров, Ю. Л. Ершов, Д. А. Захаров, Е. Н. Кузьмин, Л. Л. Максимова, Ю. И. Мерзляков, Д. М. Смирнов, А. Д. Тайманов, В. К. Харченко, Е. И. Хухро, “К восьмидесятилетию выдающегося советского математика академика А. И. Мальцева”, Алгебра и логика, 28:6 (1989), 615–618
168.
А. Д. Больбот, С. С. Гончаров, В. А. Горбунов, Ю. Л. Ершов, Е. Н. Кузьмин, В. Д. Мазуров, Ю. И. Мерзляков, Е. А. Палютин, В. К. Харченко, Е. И. Хухро, “Дмитрий Матвеевич Смирнов (к семидесятилетию со дня рождения)”, Алгебра и логика, 28:5 (1989), 491–492
Открытие конференции С. С. Гончаров Междкнародная конференция, посвященная 90-летию со дня рождения Г. И. Марчука "Современные проблемы вычислительной математики и математического моделирования" 8 июня 2015 г. 15:00
Обратная связь: