Библиография трудов Ю.Л.Ершова за 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, N 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. Ершов Ю.Л. Абсолютная неприводимость и свойства гензелизаций / Ю.Л.Ершов // Алгебра и логика. - 1982. - Т.21, N 5. - С.530-536.
  14. Ершов Ю.Л. Алгоритмические проблемы в теории полей (положительные аспекты) / Ю.Л.Ершов // Справочная книга по математической логике. - М., 1982. - Ч.3: Теория рекурсий. - С.269-353.
  15. Ершов Ю.Л. Вполне вещественные расширения полей / Ю.Л.Ершов // Доклады Академии наук СССР. - 1982. - Т.263, N 5. - С.1047-1049.
  16. Ершов Ю.Л. Гензелевы нормирования тел и группа SK1 / Ю.Л.Ершов // Математический сборник. - 1982. - Т.117, N 1. - С.60-68.
  17. Ершов Ю.Л. Две теоремы о регулярно r-замкнутых полях: препринт / Ю.Л.Ершов. - Новосибирск, 1982. - 29 с.
  18. Ершов Ю.Л. Кратно нормированные поля / Ю.Л.Ершов // Успехи математических наук. - 1982. - Т.37, N 3. - С.55-93.
  19. Ершов Ю.Л. Нормирования тел / Ю.Л.Ершов // V Всесоюзный симпозиум по теории колец, алгебр и модулей: тезисы докладов. - Новосибирск, 1982. - С.53-55.
  20. Ершов Ю.Л. Регулярно r-замкнутые поля / Ю.Л.Ершов // Доклады Академии наук СССР. - 1982. - Т.266, N 3. - С.538-540.
  21. Ершов Ю.Л. Сибирь под интегралом / Ю.Л.Ершов // Советская Россия. - 1982. - 18 мая.
  22. Соболев С.Л. Математическая логика и теория алгоритмов / С.Л.Соболев, А.А.Боровков, Ю.Л.Ершов. - Новосибирск, 1982. - 179 с.
  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. Ершов Ю.Л. ω-полные A-пространства / Ю.Л.Ершов // Кибернетика. - 1982. - N 6. - С.6-10.
  28. Справочная книга по математической логике: в 4 ч. Ч.1. Теория моделей / под ред. Дж. Барвайса, Х.Дж.Кейслера, П.Эклофреда; пер. с англ.: С.С.Гончаров, В.Д.Дзгоев, К.Ф.Самохвалов, Д.И.Свириденко; ред.: Ю.Л.Ершов, Е.А.Палютин, А.Д.Тайманов. - М.: Наука, 1982. - 392 с.
  29. Справочная книга по математической логике: в 4 ч. Ч.3. Теория рекурсии / ред.: Дж. Барвайс; пер. с англ.: С.Г.Дворникова, И.А.Лаврова; ред. Ю.Л.Ершов. - М.: Наука, 1982. - 360 с.
  30. Ершов Ю.Л. В гостях у школьников ФМШ / Ю.Л.Ершов // Наука в Сибири. - 1983. - 24 марта.
  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. Regularly r-closed fields / Yu.L.Ershov // Algebra and Logic. - 1983. - Vol.22, N 4. - P.277-291.
  41. Ershov Yu.L. The principle of ∑-enumeration / Yu.L.Ershov // Soviet Mathematics Doklady. - 1983. - Vol.27. - P.670-672.
  42. Ершов Ю.Л. Логика, основания математики и лингвистики / Ю.Л.Ершов, И.А.Лавров, Р.Павиленис, В.В.Петровым // Вопросы философии. - 1984. - N 1. - С.45-58.
  43. Ершов Ю.Л. О группах Галуа максимальных 2-расширений / Ю.Л.Ершов // Математические заметки. - 1984. - Т.36, вып.6. - С.913-923.
  44. Ершов Ю.Л. О новом подходе к философии математики / Ю.Л.Ершов, К.Ф.Самохвалов // Вычислительные системы. - 1984. - Вып. 101. - С.141-148.
  45. Ершов Ю.Л. Регулярно r-замкнутые поля со слабоуниверсальными группами Галуа / Ю.Л.Ершов // Алгебра и логика. - 1984. - Т.23, N 6. - С.637-669.
  46. Ершов Ю.Л. Сильная неотделимость и k-наследственность / Ю.Л.Ершов // Доклады Болгарской Академии наук. - 1984. - Т.37, N 9. - С.1139-1142.
  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. Regularly r-closed fields with weakly universal Galois groups / Yu.L.Ershov // Algebra and Logic. - 1984. - Vol.23, N 6. - P.426-449.
  50. 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.
  51. Ершов Ю.Л. ∑-определимость в допустимых множествах / Ю.Л.Ершов // Доклады Академии наук СССР. - 1985. - Т.285, N 4. - С.792-795.
  52. Ершов Ю.Л. ∑-предикаты конечных типов над допустимым множеством / Ю.Л.Ершов // Алгебра и логика. - 1985. - Т.24, N 5. - С.499-536.
  53. Ершов Ю.Л. Реализуемые r-группы / Ю.Л.Ершов // Некоторые проблемы и задачи анализа и алгебры. - Новосибирск, 1985. - С.46-60.
  54. Ершов Ю.Л. Роль фундаментальных знаний / Ю.Л.Ершов // Наука и жизнь. - 1985. - N 12. - С.4.
  55. Ершов Ю.Л. Элементарная теория / Ю.Л.Ершов, М.А.Тайцлин // Математическая энциклопедия. - М., 1985. - Т.5. - С.972-973.
  56. Ershov Yu.L. ∑-definability in admissible sets / Yu.L.Ershov // Soviet Mathematics Doklady. - 1985. - Vol.32. - P.767-770.
  57. 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.
  58. Ершов Ю.Л. ∑-допустимые множества / Ю.Л.Ершов // Вычислительные системы. - 1986. - Вып. 114. - С.35-39.
  59. Ершов Ю.Л. Заповедь студента - увлеченность наукой / Ю.Л.Ершов // Наука в Сибири. - 1986. - 2 марта.
  60. Ершов Ю.Л. Об ƒA-пространствах / Ю.Л.Ершов // Алгебра и логика. - 1986. - Т.25, N 5. - С.533-543.
  61. Ершов Ю.Л. Об отображении ограничения пространств порядков полей / Ю.Л.Ершов // Сибирский математический журнал. - 1986. - Т.27, N 2. - С.47-54.
  62. Ершов Ю.Л. Язык ∑-выражений / Ю.Л.Ершов // Вычислительные системы. - 1986. - Вып.114. - С.3-10.
  63. Ershov Yu.L. ƒA-Spaces / Yu.L.Ershov // Algebra and Logic. - 1986. - Vol.25, N 5. - P.336-343.
  64. 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.
  65. 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.
  66. Ershov Yu.L. Semantic programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Seminarberichte Sekt. Mathematik. - Berlin, 1986. - N 86. - S.35-55.
  67. Логика и системные методы анализа научного знания: тезиcы докладов IX Всесоюзного совещания по логике, методологии и философии науки, Харьков, 8-10 октября, 1986 / науч. ред. Ю.Л.Ершов. - М.: [б. и.], 1986. - 301 с.
  68. Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал) / ред.: Ю.Л.Ершов, С.С.Гончаров. - Новосибирск: Ин-т математики СО АН СССР, 1986. - 41 с.
  69. Прикладная логика: сборник научных трудов / науч. ред. Ю.Л.Ершов. - Новосибирск: [б. и.], 1986. - 165 с. - (Вычислительные системы; 116).
  70. Гончаров С.С. Методологические аспекты семантического программирования / С.С.Гончаров, Ю.Л.Ершов, Д.И.Свириденко // Научное знание: логика, понятия, структура. - Новосибирск, 1987. - С.154-184.
  71. Ершов Ю.Л. Математическая логика: учебное пособие / Ю.Л.Ершов, Е.А.Палютин. - М.: Наука, 1987. - 336 c.
  72. Ершов Ю.Л. Множество кандидатов еще не исключает формализма: [о выборах] / Ю.Л.Ершов // Наука в Сибири. - 1987. - 18 июня.
  73. Ершов Ю.Л. О новом подходе к методологии математики / Ю.Л.Ершов, К.Ф.Самохвалов // Закономерности развития современной математики: методологические аспекты. - М.: Наука, 1987. - С.85-105.
  74. Ершов Ю.Л. О порождаемости допустимых множеств / Ю.Л.Ершов // Алгебра и логика. - 1987. - Т.26, N 5. - С.577-597.
  75. Ершов Ю.Л. Ускорение и наука в Сибири: беседа за круглым столом / Ю.Л.Ершов // Коммунист. - 1987. - N 17. - С.65-66.
  76. Ershov Yu.L. Generatability of admissible sets / Yu.L.Ershov // Algebra and Logic. - 1987. - Vol.26, N 5. - P.346-361.
  77. Ershov Yu.L. Semantic foundations of programming / Yu.L.Ershov, S.S.Goncharov, D.I.Sviridenko // Fundamentals of Computation Theory: fundamentals of computation theory: proceedings of International Conference FCT'87, Kazan, USSR, June 22-26, 1987. - Berlin ; New York: Springer-Verlag, 1987. - С.116-122.
  78. Ершов Ю.Л. Абелева группа / Ю.Л.Ершов // Математический энциклопедический словарь. - М., 1988. - С.39-40.
  79. Ершов Ю.Л. Естественный параллелизм семантических программ / Ю.Л.Ершов, С.С.Гончаров, Д.И.Свириденко // Формальные модели параллельных вычислений. - Новосибирск, 1988. - С.6-19.
  80. Ершов Ю.Л. Инвариантная порождаемость / Ю.Л.Ершов // Сибирский математический журнал. - 1988. - Т.29, N 5. - С.109-111.
  81. Ершов Ю.Л. Когензелевы расширения и гензелизация / Ю.Л.Ершов // Алгебра и логика. - 1988. - Т.27, N 6. - С.649-658.
  82. Ершов Ю.Л. Наши университеты: круглый стол / Ю.Л.Ершов // Литературная газета. - 1988. - 23 марта.
  83. Сергей Николаевич Черников: (некролог) / Ю.Л.Ершов, Д.И.Зайцев, А.И.Кострикин, Н.Н.Красовский, Ю.А.Митропольский, В.П.Платонов, Д.К.Фаддеев, Л.А.Шеметков // Успехи математических наук. - 1988. - Т.43, N 2. - С.125-126
  84. Ершов Ю.Л. Энергичнее идти навстречу друг другу: [об обмене студентами] / Ю.Л.Ершов // Социалистическая индустрия. - 1988. - 31 мая.
  85. 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.
  86. Ershov Yu.L. Invariant generation / Yu.L.Ershov // Siberian Mathematical Journal. - 1988. - Vol.29, N 5. - P.775-777.
  87. 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.
  88. Теория моделей и ее применения: сборник научных трудов / Ю.Л.Ершов. - Новосибирск: Наука, Сибирское отд-ние, 1988. - 181 с. - (Труды Института математики СО АН СССР; т.8)
  89. Языки спецификаций и логическое программирование / Ю.Г.Косарев, Ю.Л.Ершов, С.С.Гончаров. - Новосибирск: [б. и.], 1988. - 147 с. - (Вычислительные системы; 124)
1972-1980 гг.Назад Назад Продолжение Продолжение1989-1995 гг.
 
Научные школы ННЦ Ю.Л.Ершов | Указатель трудовПодготовили: В.Лукьянова, И.Павлова, С.Канн, Н.Штырова  
 

[Начало | О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Партнеры | ИнфоЛоция | Поиск | English]
В 2004-2006 гг. проект поддерживался грантом РФФИ N 04-07-90121
 
© 2004-2018 Отделение ГПНТБ СО РАН (Новосибирск)
Статистика доступов: архив | текущая статистика

Документ изменен: Thu Apr 5 16:43:02 2018. Размер: 24,362 bytes.
Посещение N 796 с 20.11.2014