Области научных интересов — теория алгоритмов, теория моделей, алгебра и приложения этих областей в информатике. Построена теория алгоритмической размерности, в основе которой лежит результат о существовании неустойчивых моделей конечной алгоритмической размерности. Разработаны новые методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей.
Установлен критерий разрешимости однородных моделей. На основе его получено решение проблем М. Морли и Перетятькина–Денисова.
Решена проблема Мальцева о характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами.
Получен ряд результатов о конструктивных булевых алгебрах. Исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости для нильпотентных групп конечного ранга без кручения, а также абелевых $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.
А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 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
2023
2.
Ю. Л. Ершов, С. С. Гончаров, А. В. Васильев, М. А. Гречкосеева, П. С. Колесников, Н. С. Романовский, А. Н. Ряскин, Е. И. Хухро, “Виктор Данилович Мазуров (ко дню 80-летия)”, Алгебра и логика, 62:1 (2023), I–V
2022
3.
С. А. Бадаев, С. С. Гончаров, “Полурешётки Роджерса с наименьшим и наибольшим элементами в иерархии Ершова”, Алгебра и логика, 61:3 (2022), 334–340
4.
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, В. Г. Бардаков, Н. В. Баянова, В. В. Блудов, Л. А. Бокуть, С. В. Вараксин, А. В. Васильев, Е. П. Вдовин, М. А. Гречкосеева, А. В. Зенков, П. С. Колесников, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, Н. А. Перязев, А. Г. Пинус, К. Н. Пономарев, А. М. Попова, В. Н. Ремесленников, В. А. Романьков, Н. С. Романовский, Е. И. Тимошенко, В. А. Чуркин, И. П. Шестаков, “Памяти Валерия Матвеевича Копытова”, Алгебра и логика, 61:6 (2022), I–IV
2021
5.
С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 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
В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 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
2020
7.
S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394;
Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 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
2019
9.
Гончаров С.С., Свириденко Д.И., “Логический язык описания полиномиальной вычислимости”, ДАН, 485:11 (2019), 11–14; Goncharov S.S., Sviridenko D.I., “Logical Language of Description of Polynomial Computing”, Doklady Mathematics, 99:2 (2019), 121–124
8
10.
С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 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
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10
12.
С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (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
С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023
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
2017
15.
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 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
С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 58:5 (2017), 1026–1034; S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Math. J., 58:5 (2017), 794–800
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей нетривиальных сигнатур”, Докл. АН, 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
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 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
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. мат. журн., 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
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов”, Докл. АН, 464:1 (2015), 12–14
21.
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015 (в печати)
22.
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015) (в печати)
23.
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Сиб. журн. чист. и прикл. матем., 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
Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $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
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 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
С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015), 477–480
2014
27.
С. А. Бадаев, С. С. Гончаров, “Обобщëнно вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364
С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52; S. S. Goncharov, “Index Sets of Almost Prime Constructive Models”, J. Math. Sci., 205:3 (2015), 355–367
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 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
С. С. Гончаров, Ю. Л. Ершов, В. М. Левчук, В. Д. Мазуров, В. И. Сенашов, А. И. Созутов, Н. С. Черников, “Владимир Петрович Шунков”, УМН, 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
31.
П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34
2012
32.
Гончаров С. С., “Problems of autostability and spectrum of autostability”, The Bulletin of Symbolic Logic, 18:3 (2012), 422-423
2011
33.
С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 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
Гончаров С.С., Дроботун Б.Н., Никитин А.А., ОСНОВАНИЯ ДИДАКТИКИ ОБУЧЕНИЯ ЛОГИКО-АЛГЕБРАИЧЕСКИМ ДИСЦИПЛИНАМ В ВЫСШЕЙ ШКОЛЕ монография : в 2 ч. / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин, Ч.1 : Научно-теоретические и идейно-методологические предпосылки / Учреждение Рос. акад. образования “Ин-т пед. исслед. одаренности детей”, Изд-во ИПИО РАО, Новосибирск, 2011 , 269 с., Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе [Текст] : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А.А. Никитин ; . - - 2011. -с. : ил. - Библиогр.: с. 258-264 . - http://elibrary.ru/item.asp?id=19465508
35.
Иванисенко В.А., Подколодный Н.Л., Деменков П.С., Иванисенко Т.В., Подколодная О.А., Игнатьева Е.В., Хлебодарова Т.М., Подколодная Н.Н., Ананько Е.А., Гончаров С.С., Колчанов Н., “ИЗВЛЕЧЕНИЕ ЗНАНИЙ ИЗ ТЕКСТОВ НАУЧНЫХ ПУБЛИКАЦИЙ И СОЗДАНИЕ БАЗ ЗНАНИЙ В ОБЛАСТИ НАНОБИОТЕХНОЛОГИИ”, Российские нанотехнологии, 6:7-8 (2011) , 7 с.
36.
Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (II)”, Педагогические заметки, 4:2 (2011) , 17 с.
А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 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
2010
39.
С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 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
Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (I)”, Педагогические заметки, 3 (2010) , 13 с.
С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семëнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010), 75–78
2009
43.
С. С. Гончаров, “Автоустойчивость простых моделей относительно сильных конструктивизаций”, Алгебра и логика, 48:6 (2009), 729–740; S. S. Goncharov, “Autostability of prime models under strong constructivizations”, Algebra and Logic, 48:6 (2009), 410–417
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
Гончаров С.С., ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки высшего профессионального образования 010100 Математика и специальности 010101 Математика : [в 2 ч.] / С. С. Гончаров ;, Федеральное агентство по образованию, Новосибирский гос. ун-т, Механико-мат. фак.. Новосибирск,, 2009
2008
47.
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Несколько замечаний о пополнениях нумераций”, Сиб. матем. журн., 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
Гончаров С.С, “О ДВУХ ПРОБЛЕМАХ ТЬЮРИНГОВОЙ СЛОЖНОСТИ ДЛЯ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Доклады Академии наук, 420 (2008), 589-591; S. S. Goncharov, “On two problems of Turing complexity for strongly minimal theories”, Dokl. Math., 77:3 (2008), 438–440
49.
Гончаров С.С., “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ СЧЕТНЫХ МОДЕЛЕЙ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика., 8, 2 (2008) , 6 с.
50.
Goncharov S.S., “ON TWO PROBLEMS OF TURING COMPLEXITY FOR STRONGLY MINIMAL THEORIES”, Doklady Mathematics, 77:3 (2008), 438-440
51.
Гончаров С.С., Когабаев Н.Т., “О $\Sigma$01-КЛАССИФИКАЦИИ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ СТРУКТУРАХ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 8 (2008) , 9 с.
52.
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
53.
Деменков П.С., Яркова Е.Э., Иванисенко В.А., Гончаров С.С., Колчанов Н.А., “Предсказание изменения термодинамической стабильности белков при одиночных аминокислотных заменах”, Системная компьютерная биология, Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]. -, Интеграционные проекты СО РАН; вып. 14, ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 269-275http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
54.
Иванисенко В.А., Деменков П.С., Фомин Э.С., Крестьянова М.А., Ошурков И.С., Иванисенко Т.В., Иванисенко Н.В., Пинтус С.С., Яркова Е.Э., Степаненко И.Л., Сурнина Н.Ю., Гончаров С.С., Колчанов Н.А., “Распознавание функциональных сайтов в пространственных структурах белков”, Системная компьютерная биология ; Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., (Интеграционные проекты СО РАН; вып. 14), ред. / отв. ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 231-244http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
55.
С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32
С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53
57.
С. С. Гончаров, Б. Н. Дроботун, “О роли математической логики в образовании по математическим направлениям”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 15–25
2007
58.
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
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
60.
Гончаров С.С., МАТЕМАТИЧЕСКАЯ ЛОГИКА учебное пособие, / С. С. Гончаров ; Федеральное агентство по образованию, Новосибирский гос. ун-т, Мех.-мат. фак.. Новосибирск, Том Ч. 1, 2007
2006
61.
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешëток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 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
С. С. Гончаров, “Приветственное обращение Главного редактора к читателям”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 3–4
63.
С. С. Гончаров, “Александр Васильевич Кажихов. 1946–2005”, Вестн. НГУ. Сер. матем., мех., информ., 6:2 (2006), 3–5
2005
64.
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешëток Роджерса”, Алгебра и логика, 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
С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 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
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.
С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11
2004
68.
С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 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
С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 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
С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 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
М. М. Лаврентьев, Ю. Л. Ершов, С. С. Кутателадзе, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Г. Решетняк, В. Г. Романов, В. Д. Мазуров, “О Сергее Львовиче Соболеве”, Сиб. матем. журн., 44:5 (2003), 953–960
73.
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
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
Serikzhan Badaev, Sergey Goncharov, Andrea Sorbi, “Completeness and Universality of Arithmetical Numberings”, Computability and Models The University Series in Mathematics, Springer, 2003, 11-44
76.
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
С. С. Гончаров, А. Е. Гутман, Ю. Л. Ершов, С. С. Кутателадзе, В. Л. Макаров, А. М. Нахушев, Ю. Г. Решетняк, В. М. Тихомиров, Г. Н. Шотаев, “Анатолию Георгиевичу Кусраеву — 50 лет”, Владикавк. матем. журн., 5:1 (2003), 5–7
[А.А. Никити, И.В. Силантьев, С.С. Гончаров и др., СПЕЦИАЛИЗИРОВАННОЕ ОБРАЗОВАНИЕ, Под ред. А.А. Никитина и И.В. Силантьева; Предисл. Н.Л. Добрецова; М-во образования Рос. Федерации, Новосиб. гос. ун-т. Специализир. учеб.-науч. центр физ.-мат. и хим.-биол. профиля. Новосибирск,, 2003
2002
79.
С. С. Гончаров, Д. Ф. Найт, “Вычислимые структурные и антиструктурные теоремы”, Алгебра и логика, 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
С. С. Гончаров, 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
Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 52-54 pp.
83.
Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 5 pp.
2001
84.
С. А. Бадаев, С. С. Гончаров, “О полурешетках Роджерса семейств арифметических множеств”, Алгебра и логика, 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
М. М. Лаврентьев, В. Л. Береснев, И. С. Борисов, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, А. А. Могульский, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Александр Алексеевич Боровков (к 70-летию со дня рождения)”, Сиб. матем. журн., 42:2 (2001), 243–248
М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, С. С. Кутателадзе, П. И. Плотников, Ю. Г. Решетняк, В. Г. Романов, “Михаил Алексеевич Лаврентьев (к 100-летию со дня рождения)”, Сиб. матем. журн., 41:5 (2000), 969–983
М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, В. Д. Мазуров, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Юрий Леонидович Ершов (к 60-летию со дня рождения)”, Сиб. матем. журн., 41:2 (2000), 243–246
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 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
89.
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000), 3–9
1999
90.
Ершов Ю. Л., Гончаров С. С., Конструктивные модели, (Сибирская школа алгебры и логики), Научная книга, Новосибирск, 1999 , 360 с.
91.
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.
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
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.
94.
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.
95.
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.
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, 139 (1998), vii-xlvi
97.
С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 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
Goncharov S.S., Khusainov B., “ON THE SPECTRUM OF DEGREES OF DECIDABLE RELATIONS”, Doklady Mathematics, 55:1 (1997) , 7 pp.
99.
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 с. с.
100.
Goncharov, SS; Khusainov, B, “On degrees spectra of decidable relations”, Doklady Akademii Nauk, 352:3 (1997), 301-303
101.
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
102.
С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 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
Гончаров С. С., Счетные булевы алгебры и разрешимость, Сибирская школа алгебры и логики, Научная книга, Новосибирск, 1996 , 373 с.
104.
Badaev, SA; Goncharov, SS; Ershov, YL; et al., “On computable minimal enumerations”, Algebra, 1996 , 21-33 pp.
1995
105.
С. С. Гончаров, М. Пурмахдиан, “Итерированные обогащения моделей счетных теорий и их приложения”, Алгебра и логика, 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
S. S. Goncharov, “A unique positive enumeration”, Siberian Adv. Math., 4:1 (1994), 52–64
1993
107.
С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 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
Гончаров С. С., “Позитивные вычислимые нумерации”, Доклады АН СССР, 332:2 (1993) , 2 с. ; GONCHAROV, SS, “POSITIVE COMPUTABLE ENUMERATIONS”, Doklady Akademii Nauk, 332:2 (1993) , 2 pp.
109.
Гончаров С. С., “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631-664; Goncharov S. S., “Effectively infinite classes of weak constructivizations of models”, Algebra and Logic Plenum Publ.Corp.,, 32:6 (1993), 342-360
S. S. Goncharov, A. Yakhnis, V. Yakhnis, “Effectively infinite classes of enumerations”, Siberian Adv. Math., 3:1 (1993), 94–120
112.
В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(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
С. С. Гончаров, “Семейства с единственной позитивной нумерацией”, Вычисл. системы, 146 (1992), 96–104
1991
115.
С. С. Гончаров, “Об одном способе эффективной реализации программ в семантическом программировании”, Вычисл. системы, 139 (1991), 117–123
1990
116.
С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 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
С. С. Гончаров, А. В. Молоков, Н. С. Романовский, “Нильпотентные группы конечной алгоритмической размерности”, Сибирский математический журнал, 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.
С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики СО АН СССР, 12 (1989), 24–39; S. S. Goncharov, “The characterization of axiomatizable classes with strong epimorphisms”, Sib. Adv. Math., 1:2 (1991), 57–76
119.
С. С, Гончаров, Б. Н. Дроботун, “Об алгоритмической размерности нильпотентных групп”, Сиб. мат. журн., 30:2 (1989), 52–60; S. S. Goncharov, B. N. Drobotun, “Algorithmic dimension of nilpotent groups”, Siberian Math. J., 30:2 (1989), 210–217
С. С. Гончаров, Д. И. Свириденко, “Логическое программирование в широком смысле”, Вычисл. системы, 129 (1989), 3–48
121.
С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики, 12 (1989), 24–39
122.
А. Т. Гайнов, С. С. Гончаров, Ю. Л. Ершов, Д. А. Захаров, Е. Н. Кузьмин, Л. Л. Максимова, Ю. И. Мерзляков, Д. М. Смирнов, А. Д. Тайманов, В. К. Харченко, Е. И. Хухро, “К восьмидесятилетию выдающегося советского математика академика А. И. Мальцева”, Алгебра и логика, 28:6 (1989), 615–618
123.
А. Д. Больбот, С. С. Гончаров, В. А. Горбунов, Ю. Л. Ершов, Е. Н. Кузьмин, В. Д. Мазуров, Ю. И. Мерзляков, Е. А. Палютин, В. К. Харченко, Е. И. Хухро, “Дмитрий Матвеевич Смирнов (к семидесятилетию со дня рождения)”, Алгебра и логика, 28:5 (1989), 491–492
1988
124.
С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики СО АН СССР, 8 (1988), 42–58
125.
С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики, 8 (1988), 42–58
1987
126.
Yu. L. Ershov, S. S. Goncharov, D. I. Sviridenko, “Semantic foundations of programming”, Lecture Notes in Computer Science, 278 (1987), 116-122
S. S. Goncharov, “Axiomatizable classes with strong homomorphisms”, Studia Logica, 46:2 (1987), 113–120
128.
С. С. Гончаров, В. Д. Дзгоев, “Позитивные модели и абстрактные типы данных”, Вычисл. системы, 122 (1987), 47–58
129.
С. С. Гончаров, Д. И. Свириденко, “$\Sigma^{+}$-программы и их семантики”, Вычисл. системы, 120 (1987), 24–51
1986
130.
S. S. Goncharov, D. I. Sviridenko, “Theoretical aspects of $\Sigma$-programming”, Lecture Notes in Computer Science, 215 (1986) , 10 pp.
131.
С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Доклады АН СССР, 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
С. С. Гончаров, “Теория списков и ее модели”, Вычисл. системы, 114 (1986), 84–95
133.
С. С. Гончаров, “Замечание об аксиомах списочной надстройки GES”, Вычисл. системы, 114 (1986), 11–15
134.
С. С. Гончаров, “Об аксиомах для классов с сильными гомоморфизмами”, Вычисл. системы, 116 (1986), 140–155
1985
135.
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
136.
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
137.
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
138.
С. С. Гончаров, “Модели данных и языки их описаний”, Вычисл. системы, 107 (1985), 52–70; S. S. Goncharov, “Data models and languages for their description”, Am. Math. Soc. Translations – Series 2, 143 (1989), 139–152
139.
С. С. Гончаров, Д. И. Свириденко, “$\Sigma$-программирование”, Вычисл. системы, 107 (1985), 3–29; S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programming”, Am. Math. Soc. Translations – Series 2, 142 (1989), 101–121
9
1984
140.
С. С. Гончаров, А. А, Новиков, “Примеры неавтоустойчивых систем”, Сиб. мат. журн., 25:4 (1984), 37–45; S. S. Goncharov, A. A. Novikov, “Examples of nonautostable systems”, Siberian Math. J., 25:4 (1984), 538–545
С. С. Гончаров, “Универсальные рекурсивно перечислимые булевы алгебры”, Сиб. мат. журн., 24:6 (1983), 36-43; S. S. Goncharov, “Universal recursively enumerable Boolean algebras”, Siberian Math. J., 24:6 (1983), 852–858
142.
С. С. Гончаров, “Позитивные нумерации семейств с однозначными нумерациями”, Алгебра и логика, 22:5 (1983), 481–488; S. S. Goncharov, “Positive numerations of families with one-valued numerations”, Algebra and Logic, 22:5 (1983), 345–350
С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики СО АН СССР, 2, Институт математики СО АН СССР, 1982, 4–12
144.
С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики, 2 (1982), 4–12
145.
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.
1981
146.
С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Доклады АН СССР, 256 (1981) , 4 с. ; S. S. Goncharov, “Groups with a finite number of constructivizations”, Soviet Math. Dokl., 23:2 (1981) , 4 pp.
147.
С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Докл. АН СССР, 256:2 (1981), 269–272
С. С. Гончаров, “Тотально трансцендентная теория с неконструктивизируемой простой моделью”, Сиб. мат. журн., 21:1 (1980) , 6 с. ; S. S. Goncharov, “Totally transcendental theory with a nonconstructivizable prime model”, Siberian Math. J., 21:1 (1980), 32–37
С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980) , 271-274 с. ; S. S. Goncharov, “The problem of the number of nonautoequivalent constructivizations”, Soviet. Math. Dokl., 21 (1980) , 411-414 pp.
150.
С. С. Гончаров, Б. Н. Дроботун, “О нумерациях насыщенных и однородных моделей”, Сиб. мат. журн., 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:1 (1980), 23–44; S. S. Goncharov, “Autostability of models and Abelian groups”, Algebra and Logic, 19:1 (1980), 13–27
С. С. Гончаров, В. Д. Дзгоев, “Автоустойчивость моделей”, Алгебра и логика, 19:1 (1980), 45–58; S. S. Goncharov, V. D. Dzgoev, “Autostability of models”, Algebra and Logic, 19:1 (1980), 28–37
С. С. Гончаров, “Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей”, Алгебра и логика, 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
С. С. Гончаров, “Вычислимые однозначные нумерации”, Алгебра и логика, 19:5 (1980), 507–551; S. S. Goncharov, “Computable single-valued numerations”, Algebra and Logic, 19:5 (1980), 325–356
С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Алгебра и логика, 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
С. С. Гончаров, “Конструктивные модели $\aleph_1$-категоричных теорий”, Матем. заметки, 23:6 (1978), 885–888; S. S. Goncharov, “Constructive models of $\aleph_1$-categorical theories”, Math. Notes, 23:6 (1978), 486–487
С. С. Гончаров, “Сильная конструктивизируемость однородных моделей”, Алгебра и логика, 17:4 (1978), 363–388; S. S. Goncharov, “Strong constructivizability of homogeneous models”, Algebra and Logic, 17:4 (1978), 247–263
С. С. Гончаров, “О числе неавтоэквивалентных конструктивизаций”, Алгебра и логика, 16:3 (1977), 257–282; S. S. Goncharov, “The quantity of nonautoequivalent constructivizations”, Algebra and Logic, 16:3 (1977), 169–185
С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. мат. журн., 17:4 (1976), 797–812; S. S. Goncharov, “Restricted theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611
С. С. Гончаров, “Автоустойчивость и вычислимые семейства конструктивизаций”, Алгебра и логика, 14:6 (1975), 647–680; S. S. Goncharov, “Autostability and computable families of constructivizations”, Algebra and Logic, 14:6 (1975), 392–409
С. С. Гончаров, “Некоторые свойства конструктивизаций булевых алгебр”, Сиб. мат. журн., 16:2 (1975), 264–278; S. S. Goncharov, “Some properties of the constructivization of Boolean algebras”, Siberian Math. J., 16:2 (1975), 203–214
С. С. Гончаров, Конструктивные булевы алгебры, диссертация кандидата физико-математических наук, Издательство Института математики СО АН СССР, Новосибирск, 1974 , 121 с.
1973
165.
С. С. Гончаров, “Конструктивизируемость суператомных булевых алгебр”, Алгебра и логика, 12:1 (1973) , 9 с. ; S. S. Goncharov, “Constructivizability of superatomic Boolean algebras”, Algebra and Logic, 12:1 (1974) , 6 pp.
32
166.
С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 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
167.
С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 12:2 (1973), 125–142
Открытие конференции С. С. Гончаров Междкнародная конференция, посвященная 90-летию со дня рождения Г. И. Марчука "Современные проблемы вычислительной математики и математического моделирования" 8 июня 2015 г. 15:00
2024
Обратная связь: