Библиография трудов Ю.Л.Ершова за 1981-1988 годы
 Навигация
 
 

Ершов Ю.Л.




     *библиография + база данных
     *жизнь и деятельность
     *избранные труды



 Научные школы ННЦ
 

1962-1971 1972-1980 1981-1988 1989-1995 1996-2006 2003-2009 с 2010 года
 
1981 | 1982 | 1983 | 1984 | 1985 | 1986 | 1987 | 1988

  1. Анатолий Илларионович Ширшов: [некролог] / Ю.Л.Ершов, Л.А.Бокуть, А.Н.Колмогоров, А.И.Кострикин, Е.Н.Кузьмин, В.Н.Латышев, С.Л.Соболев, И.П.Шестаков // Математика в школе. - 1981. - N 3. - С.80.

  2. Ершов Ю.Л. Алгебраические свойства регулярно замкнутых полей / Ю.Л.Ершов // Труды Математического института им. В.А. Стеклова. - 1981. - Т.158. - С.80-86.

  3. Ершов Ю.Л. Неразрешимость регулярно замкнутых полей / Ю.Л.Ершов // Алгебра и логика. - 1981. - Т.20, N 4. - С.389-394.

  4. Ершов Ю.Л. Об элементарных теориях регулярно замкнутых полей / Ю.Л.Ершов // Доклады Академии наук СССР. - 1981. - Т.257, N 2. - С.271-274.

  5. Ершов Ю.Л. Элиминируемость кванторов в регулярно замкнутых полях / Ю.Л.Ершов // Доклады Академии наук СССР. - 1981. - Т.258, N 1. - С.16-20.

  6. Памяти Анатолия Илларионовича Ширшова (некролог) / Л.А.Бокуть, Ю.Л.Ершов, А.Н.Колмогоров, А.И.Кострикин, Е.Н.Кузьмин, В.Н.Латышев, С.Л.Соболев, И.П.Шестаков // Успехи математических наук. - 1981. - Т.36, вып.5. - С.153-158.

  7. Ershov Yu.L. Eliminability of quantifiers in regularly closed fields / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1981. - Vol.23. - P.463-467.

  8. Ershov Yu.L. How does algebra help to solve problems from the theory of algorithms (an example) / Yu.L.Ershov // Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979. - Berlin; New York: Springer-Verlag, 1981. - Vol.122. - P.462-463.

  9. Ershov Yu.L. On elementary theories of regularly closed fields / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1981. - Vol.23. - P.259-262.

  10. Ershov Yu.L. Profinite groups / Yu.L.Ershov // Algebra and Logic. - 1981. - Vol.19, N 5. - P.357-366.

  11. Ershov Yu.L. Undecidability of regularly closed fields / Yu.L.Ershov // Algebra and Logic. - 1981. - Vol.20, N 4. - P.257-260.

  12. In memory of Anatolií Illarionovich Shirshov / L.A.Bokut', Yu.L.Ershov, A.N.Kolmogorov, A.I.Kostrikin, E.N.Kuz'min, V.N.Latyshev, S.L.Sobolev, I.P.Shestakov // Russian Mathematical Surveys. - 1981. - Vol.36, N 5. - P.129-133.

  13. Ершов Ю.Л. ω-полные A-пространства / Ю.Л.Ершов // Кибернетика. - 1982. - N 6. - С.6-10.

  14. Ершов Ю.Л. Абсолютная неприводимость и свойства гензелизаций / Ю.Л.Ершов // Алгебра и логика. - 1982. - Т.21, N 5. - С.530-536.

  15. Ершов Ю.Л. Алгоритмические проблемы в теории полей (положительные аспекты) / Ю.Л.Ершов // Справочная книга по математической логике. - Москва, 1982. - Ч.3: Теория рекурсий. - С.269-353.

  16. Ершов Ю.Л. Вполне вещественные расширения полей / Ю.Л.Ершов // Доклады Академии наук СССР. - 1982. - Т.263, N 5. - С.1047-1049.

  17. Ершов Ю.Л. Гензелевы нормирования тел и группа SK1 / Ю.Л.Ершов // Математический сборник. - 1982. - Т.117, N 1. - С.60-68.

  18. Ершов Ю.Л. Две теоремы о регулярно r-замкнутых полях: препринт / Ю.Л.Ершов. - Новосибирск: Институт математики, 1982. - 29 с.

  19. Ершов Ю.Л. Кратно нормированные поля / Ю.Л.Ершов // Успехи математических наук. - 1982. - Т.37, вып.3. - С.55-93.

  20. Ершов Ю.Л. Нормирования тел / Ю.Л.Ершов // V Всесоюзный симпозиум по теории колец, алгебр и модулей: тезисы докладов. - Новосибирск, 1982. - С.53-55.

  21. Ершов Ю.Л. Регулярно r-замкнутые поля / Ю.Л.Ершов // Доклады Академии наук СССР. - 1982. - Т.266, N 3. - С.538-540.

  22. Ершов Ю.Л. Сибирь под интегралом / Ю.Л.Ершов // Советская Россия. - 1982. - 18 мая.

  23. Ershov Yu.L. Henselian valuations of division rings and the group SK1 / Yu.L.Ershov // Mathematics of the USSR-Sbornik. - 1982. - Vol.45. - P.63-71.

  24. Ershov Yu.L. Multiply valued fields / Yu.L.Ershov // Russian Mathematical Surveys. - 1982. - Vol.37, N 3. - P.63-107.

  25. Ershov Yu.L. Regularly r-closed fields / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1982. - Vol.26. - P.363-366.

  26. Ershov Yu.L. Totally real field extensions / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1982. - Vol.25. - P.477-480.

  27. Ред.: Математическая логика и теория алгоритмов / отв. ред. С.Л.Соболев; редкол.: С.Л.Соболев, А.А.Боровков, Ю.Л.Ершов - Новосибирск: Наука, Сибирское отделение, 1982. - 176 с.: ил. - (Труды / Институт математики Сибирского отделения Академии наук СССР; т.2).

  28. Ред.: Справочная книга по математической логике: в 4 ч. Ч.1. Теория моделей / под ред. Дж. Барвайса, Х.Дж.Кейслера, П.Эклофреда; пер. с англ.: С.С.Гончаров, В.Д.Дзгоев, К.Ф.Самохвалов, Д.И.Свириденко; ред.: Ю.Л.Ершов, Е.А.Палютин, А.Д.Тайманов. - Москва: Наука, 1982. - 392 с.

  29. Ред.: Справочная книга по математической логике: в 4 ч. Ч.3. Теория рекурсии / ред.: Дж. Барвайс; пер. с англ.: С.Г.Дворникова, И.А.Лаврова; ред. Ю.Л.Ершов. - Москва: Наука, 1982. - 360 с.

  30. Ершов Ю.Л. В гостях у школьников ФМШ / Ю.Л.Ершов // Наука в Сибири. - 1983. - 24 марта (N 12). - C.1.

  31. Ершов Ю.Л. Динамическая логика над допустимыми множествами / Ю.Л.Ершов // Доклады Академии наук СССР. - 1983. - Т.273, N 5. - С.1045-1048.

  32. Ершов Ю.Л. Инволюторные группы / Ю.Л.Ершов // Алгебра и логика. - 1983. - Т.22, N 3. - С.260-275.

  33. Ершов Ю.Л. Принцип ∑-перечисления / Ю.Л.Ершов // Доклады Академии наук СССР. - 1983. - Т.270, N 4. - С.786-788.

  34. Ершов Ю.Л. Регулярно r-замкнутые поля / Ю.Л.Ершов // Алгебра и логика. - 1983. - Т.22, N 4. - С.382-402.

  35. Ershov Yu.L. ω-Complete A-spaces / Yu.L.Ershov // Cybernetics. - 1983. - Vol.18, N 6. - P.701-705.

  36. Ershov Yu.L. Absolute irreducibility and properties of henselizations / Yu.L.Ershov // Algebra and Logic. - 1983. - Vol.21. - P.353-357.

  37. Ershov Yu.L. Algebraic properties of regularly closed fields / Yu.L.Ershov // Proceedings of the Steklov Institute of Mathematics. - 1983. - Vol.158. - P.85-91.

  38. Ershov Yu.L. Dynamic logic over admissible sets / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1983. - Vol.28. - P.739-742.

  39. Ershov Yu.L. Involutory groups / Yu.L.Ershov // Algebra and Logic. - 1983. - Vol.22, N 3. - P.185-196.

  40. Ershov Yu.L. The principle of ∑-enumeration / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1983. - Vol.27. - P.670-672.

  41. Ershov Yu.L. Regularly r-closed fields / Yu.L.Ershov // Algebra and Logic. - 1983. - Vol.22, N 4. - P.277-291.

  42. Ершов Ю.Л. О группах Галуа максимальных 2-расширений / Ю.Л.Ершов // Математические заметки. - 1984. - Т.36, вып.6. - С.913-923.

  43. Ершов Ю.Л. О новом подходе к философии математики / Ю.Л.Ершов, К.Ф.Самохвалов // Вычислительные системы. - 1984. - Вып.101. - С.141-148.

  44. Ершов Ю.Л. Регулярно r-замкнутые поля со слабоуниверсальными группами Галуа / Ю.Л.Ершов // Алгебра и логика. - 1984. - Т.23, N 6. - С.637-669.

  45. Ершов Ю.Л. Сильная неотделимость и k-наследственность / Ю.Л.Ершов // Доклады Болгарской Академии наук. - 1984. - Т.37, N 9. - С.1139-1142.

  46. Логика, основания математики и лингвистики / Ю.Л.Ершов, И.А.Лавров, Р.Павиленис, В.В.Петров // Вопросы философии. - 1984. - N 1. - С.45-58.

  47. Ershov Yu.L. Galois groups of maximal 2-extensions / Yu.L.Ershov // Mathematical notes. - 1984. - Vol.36, N 6. - P.956-961.

  48. Ershov Yu.L. Mathematical logic / Yu.L.Ershov. - Moscow: Mir, 1984. - 303 p.

  49. Ershov Yu.L. On a new approach to the philosophy of mathematics / Yu.L.Ershov, K.Samochvalov // Computing Systems in Engineering. - 1984. - Vol.101. - P.141-148.

  50. Ershov Yu.L. Regularly r-closed fields with weakly universal Galois groups / Yu.L.Ershov // Algebra and Logic. - 1984. - Vol.23, N 6. - P.426-449.

  51. Ershov Yu.L. Two theorems on regularly r-closed fields / Yu.L.Ershov // Journal für die Reine und Angewandte Mathematik. - 1984. - Bd.347. - S.154-166.

  52. Ершов Ю.Л. ∑-определимость в допустимых множествах / Ю.Л.Ершов // Доклады Академии наук СССР. - 1985. - Т.285, N 4. - С.792-795.

  53. Ершов Ю.Л. ∑-предикаты конечных типов над допустимым множеством / Ю.Л.Ершов // Алгебра и логика. - 1985. - Т.24, N 5. - С.499-536.

  54. Ершов Ю.Л. Реализуемые r-группы / Ю.Л.Ершов // Некоторые проблемы и задачи анализа и алгебры. - Новосибирск, 1985. - С.46-60.

  55. Ершов Ю.Л. Роль фундаментальных знаний / Ю.Л.Ершов // Наука и жизнь. - 1985. - N 12. - С.4.

  56. Ершов Ю.Л. Элементарная теория / Ю.Л.Ершов, М.А.Тайцлин // Математическая энциклопедия. - Москва, 1985. - Т.5. - С.972-973.

  57. Ershov Yu.L. ∑-definability in admissible sets / Yu.L.Ershov // Soviet Mathematics. Doklady. - 1985. - Vol.32. - P.767-770.

  58. Ershov Yu.L. ∑-predicates of finite types over an admissible set / Yu.L.Ershov // Algebra and Logic. - 1985. - Vol.24, N 5. - P.327-351.

  59. Ершов Ю.Л. ∑-допустимые множества / Ю.Л.Ершов // Вычислительные системы. - 1986. - Вып. 114. - С.35-39.

  60. Ершов Ю.Л. Заповедь студента - увлеченность наукой / Ю.Л.Ершов; подготовил А.Соболевский // Наука в Сибири. - 1986. - 6 марта (N 9). - C.3.

  61. Ершов Ю.Л. Об ƒA-пространствах / Ю.Л.Ершов // Алгебра и логика. - 1986. - Т.25, N 5. - С.533-543.

  62. Ершов Ю.Л. Об отображении ограничения пространств порядков полей / Ю.Л.Ершов // Сибирский математический журнал. - 1986. - Т.27, N 2. - С.47-54.

  63. Ершов Ю.Л. Язык ∑-выражений / Ю.Л.Ершов // Вычислительные системы. - 1986. - Вып.114. - С.3-10.

  64. Ershov Yu.L. ƒA-Spaces / Yu.L.Ershov // Algebra and Logic. - 1986. - Vol.25, N 5. - P.336-343.

  65. Ershov Yu.L. Mapping a restriction of spaces of orderings of fields / Yu.L.Ershov // Siberian Mathematical Journal. - 1986. - Vol.27, N 2. - P.181-187.

  66. Ershov Yu.L. Semantic programming / Yu.L.Ershov, S.S.Goncharov // Information processing 86: proceedings of the IFIP World Computer Congress, Dublin, Ireland, September 1-5, 1986. - Amsterdam; New York: Elsevier Science Pub. Co, 1986. - P.1113-1120.

  67. Ershov Yu.L. Semantic programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Seminarberichte. Sektion Mathematik. - Berlin, 1986. - N 86. - S.35-55.

  68. Ред.: Логика и системные методы анализа научного знания: тезиcы докладов IX Всесоюзного совещания по логике, методологии и философии науки, Харьков, 8-10 октября, 1986 / науч. ред. Ю.Л.Ершов. - Москва: [б. и.], 1986. - 301 с.

  69. Ред.: Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал) / ред.: Ю.Л.Ершов, С.С.Гончаров. - Новосибирск: Ин-т математики СО АН СССР, 1986. - 41 с.

  70. Ред.: Логические вопросы теории типов данных / науч. ред. Ю.Л.Ершов, С.С.Гончаров; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск: Институт математики, 1986. - 140 с.: ил. - (Вычислительные системы; 114).

  71. Ред.: Прикладная логика: сборник научных трудов / науч. ред. Ю.Л.Ершов. - Новосибирск: [б. и.], 1986. - 165 с. - (Вычислительные системы; 116).

  72. Гончаров С.С. Методологические аспекты семантического программирования / С.С.Гончаров, Ю.Л.Ершов, Д.И.Свириденко // Научное знание: логика, понятия, структура. - Новосибирск, 1987. - С.154-184.

  73. Ершов Ю.Л. Математическая логика: учебное пособие / Ю.Л.Ершов, Е.А.Палютин. - Москва: Наука, 1987. - 336 c.

  74. Ершов Ю.Л. Множество кандидатов еще не исключает формализма: [о выборах] / Ю.Л.Ершов // Наука в Сибири. - 1987. - 18 июня (N 24). - C.2.

  75. Ершов Ю.Л. О новом подходе к методологии математики / Ю.Л.Ершов, К.Ф.Самохвалов // Закономерности развития современной математики: методологические аспекты. - Москва: Наука, 1987. - С.85-105.

  76. Ершов Ю.Л. О порождаемости допустимых множеств / Ю.Л.Ершов // Алгебра и логика. - 1987. - Т.26, N 5. - С.577-597.

  77. Ершов Ю.Л. Ускорение и наука в Сибири: беседа за круглым столом / Ю.Л.Ершов // Коммунист. - 1987. - N 17. - С.65-66.

  78. Ershov Yu.L. Generatability of admissible sets / Yu.L.Ershov // Algebra and Logic. - 1987. - Vol.26, N 5. - P.346-361.

  79. Ershov Yu.L. Semantic foundations of programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Fundamentals of computation theory: proceedings of International Conference FCT'87, Kazan, USSR, June 22-26, 1987. - Berlin; New York: Springer-Verlag, 1987. - С.116-122.

  80. Ред.: Прикладные аспекты математической логики / науч. ред. Ю.Л.Ершов, С.С.Гончаров; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск: Институт математики, 1987. - 167 с. - (Вычислительные системы; 122).

  81. Ершов Ю.Л. Абелева группа / Ю.Л.Ершов // Математический энциклопедический словарь. - Москва, 1988. - С.39-40.

  82. Ершов Ю.Л. Естественный параллелизм семантических программ / Ю.Л.Ершов, С.С.Гончаров, Д.И.Свириденко // Формальные модели параллельных вычислений. - Новосибирск, 1988. - С.6-19.

  83. Ершов Ю.Л. Инвариантная порождаемость / Ю.Л.Ершов // Сибирский математический журнал. - 1988. - Т.29, N 5. - С.109-111.

  84. Ершов Ю.Л. Когензелевы расширения и гензелизация / Ю.Л.Ершов // Алгебра и логика. - 1988. - Т.27, N 6. - С.649-658.

  85. Ершов Ю.Л. Наши университеты: круглый стол / Ю.Л.Ершов // Литературная газета. - 1988. - 23 марта.

  86. Ершов Ю.Л. Энергичнее идти навстречу друг другу: [об обмене студентами] / Ю.Л.Ершов // Социалистическая индустрия. - 1988. - 31 мая.

  87. Сергей Николаевич Черников: (некролог) / Ю.Л.Ершов, Д.И.Зайцев, А.И.Кострикин, Н.Н.Красовский, Ю.А.Митропольский, В.П.Платонов, Д.К.Фаддеев, Л.А.Шеметков // Успехи математических наук. - 1988. - Т.43, вып.2. - С.125-126

  88. Ershov Yu.L. Co-Henselian extensions and Henselizations of skew fields / Yu.L.Ershov // Algebra and Logic. - 1988. - Vol.27, N 6. - P.401-407.

  89. Ershov Yu.L. Invariant generation / Yu.L.Ershov // Siberian Mathematical Journal. - 1988. - Vol.29, N 5. - P.775-777.

  90. Sergei Nikolaevich Chernikov: obituary / Yu.L.Ershov, D.I.Zaitsev, A.I.Kostrikin, N.N.Krasovskii, Yu.A.Mitropol'skii, V.P.Platonov, D.K.Faddeev, L.A.Shemetkov // Russian Mathematical Surveys. - 1988. - Т.43, N 2. - P.153-155.

  91. Ред.: Гончаров С.С. Счетные булевы алгебры / С.С.Гончаров; отв. ред. Ю.Л.Ершов; АН СССР, Сибирское отд-ние, Ин-т математики. - Новосибирск: Наука. Сибирское отд-ние, 1988. - 175 с.: ил.

  92. Ред.: Теория моделей и ее применения: сборник научных трудов / отв. ред. Ю.Л.Ершов. - Новосибирск: Наука, Сибирское отд-ние, 1988. - 181 с. - (Труды / Институт математики Сибирского отделения Академии наук СССР; т.8)

  93. Ред.: Языки спецификаций и логическое программирование / науч. ред. Ю.Л.Ершов, С.С.Гончаров. - Новосибирск: [б. и.], 1988. - 147 с. - (Вычислительные системы; 124).
1972-1980 гг.Назад Назад Продолжение Продолжение1989-1995 гг.
 

Научные школы ННЦ Ю.Л.Ершов | Указатель трудовПодготовили: В.Лукьянова, И.Павлова, С.Канн, Н.Штырова  
  

[Начало | О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Партнеры | ИнфоЛоция | Поиск | English]
В 2004-2006 гг. проект поддерживался грантом РФФИ N 04-07-90121
 
© 2004-2024 Отделение ГПНТБ СО РАН
Документ изменен: Tue Sep 29 11:55:08 2020. Размер: 31,479 bytes.
Посещение N 2970 с 20.11.2014