Наука
Публикации
www.nspu.ru
cite.nspu.ru
math.nspu.ru
idm.nspu.ru

Основные публикации В.Л. Селиванова

Также см. личный сайт, где в разделе публикации есть более полный список.

МАТЕМАТИЧЕСКАЯ ЛОГИКА

  1. О нумерациях семейств общерекурсивных функций. Алгебра и логика, 15, No 2 (1976), 205-226.
  2. Две теоремы о вычислимых нумерациях. Алгебра и логика, 15, No 4 (1976), 470-484.
  3. О вычислимости некоторых классов нумераций. Вероятн. методы и кибернетика, вып.12-13, Изд-во КГУ, Казань,1976, 157-170.
  4. Нумерации канонически вычислимых семейств конечных множеств. Сиб. Мат. журнал, 18, No 6 (1977), 1373-1381.
  5. Несколько замечаний о классах рекурсивно перечислимых множеств. Сиб. Мат. журнал, 19, No 1 (1978), 153-161.
  6. Об индексных множествах классов нумераций. Вероятн. методы и кибернетика, вып.14, Изд-во КГУ, Казань,1978, 90-103.
  7. Об индексных множествах вычислимых классов конечных множеств. В: Алгоритмы и автоматы, Казанский ун-т, 1978, p. 95-99.
  8. О структуре степеней индексных множеств. Алгебра и логика, 18, No 4 (1979), 463-480.
  9. Об одном классе сводимостей в теории теории рекурсивных функций. Вероятн. Методы и кибернетика, Казанский ун-т, 18 (1982), 83-101.
  10. Об индексных множествах в иерархии Клини-Мостовского. Труды Ин-та математики СО АН СССР, No 2 (1982), 135-158.
  11. О структуре степеней обобщенных индексных множеств. Алгебра и логика, 21, No 4 (1982), 472-491.
  12. Эффективные аналоги A-, B- и C-множеств и их применения к индексным множествам. Вероятн. Методы и кибернетика, Казанский ун-т.19 (1983), 112-128.
  13. Иерархии гиперарифметических множеств и функций. Алгебра и логика, 22, No 6 (1983), 666-692.
  14. Индексные множества в гиперарифметической иерархии. Сиб. Мат. журнал, 25, No 3 (1984), 164-181.
  15. Об иерархии предельных вычислений. Сиб. Мат. журнал, 25, No 5 (1984), 146-156.
  16. Об иерархии Ершова. Сиб. Мат. журнал, 26, No 1 (1985), 134-149.
  17. Автоморфизмы групп нумерованных множеств. Мат. заметки, 41, No 4 (1987), 592-597.
  18. Индексные множества фактор-объектов нумерации Поста. Алгебра и логика, 27, No 3 (1988), 343-358.
  19. Иерархия Ершова и Т-скачок. Алгебра и логика, 27 No 4 (1988), 464-478.
  20. Об алгоритмической сложности алгебраических систем. Мат. заметки, 44, No 6 (1988), 823-832.
  21. Применения предполных нумераций к степеням табличного типа и индексным множествам. Алгебра и логика, 12, No 1 (1989), 165-185.
  22. Тонкие иерархии арифметических множеств и определимые индексные множества. Труды Ин-та математики СО АН СССР, 12 (1989), 165-185.
  23. Арифметическая иерархия и идеалы нумерованных булевых алгебр (совместно с С.П. Одинцовым). Сиб. Мат. журнал, 30, No 6 (1989), 140-149.
  24. Индексные множества классов гипергиперпростых множеств. Алгебра и логика, 29, No 2 (1990), 220-240.
  25. Тонкая иерархия формул. Алгебра и логика, 30, No 5 (1991), 568-582.
  26. Тонкие иерархии и определимые индексные множества. Алгебра и логика, 30, No 6 (1991), 705-725.
  27. Скачки некоторых классов множеств. Мат. заметки, 50, No 6 (1991), 122-125.
  28. Предполные нумерации и функции без неподвижных точек. Мат. заметки, 51, No 1 (1992), 175-181.
  29. Recursiveness of omega-operations. Math. Logic Quaterly, 40, No 2 (1994), 204-206.
  30. Index sets of factor-objects of the Post numbering. In: Proc. of the Int.
    Conference in Foundations of Computation Theory in Kazan. Lecture Notes in Computer Science, v. 278. Berlin: Springer 1987, 396-400.
  31. Computing degrees of definable classes of sentences. In: Proc. of Int.
    Conference in Algebra in Honor of A.I.Malcev in Novosibirsk. Contemporary Mathematics, v. 131, part 3 (1992), 657-666.
  32. Precomplete numerations with applications, Preprint No 9, 1994, the University of Heidelberg, Chair of Mathematical Logic, 59 p.
  33. Fine hierarchies and Boolean terms. The Journal of Symbolic Logic, 60, No 1 (1995), 289-317.
  34. V.L.Selivanov. Fine hierarchy and definability in the Lindenbaum algebra.
    In: Logic: from foundations to applications, Proceedings of the Logic Colloquium-93 in Keele, 1996, 425-452.
  35. On recursively enumerable structures. Annals of pure and applied logic, 78 (1996), 243-258.
  36. Иерархия Ершова в Бэровском пространстве, Труды 2-го Конгресса ИНПРИМ. Новосибирск, 1998, т. 3, с. 127.

ИНФОРМАТИКА

  1. Two refinements of the polynomial hierarchy. In: Proc. of 11-th Int.
    Symposium on Theor. Aspects of Computer Science STACS-94 in Caen, France, Lecture Notes in Computer Science, v. 775. Berlin: Springer 1994, 439-448.
  2. Refining the polynomial hierarchy, Preprint No 9, the University of Heidelberg, Chair of Mathematical Logic, 1994, 20 p.
  3. Fine hierarchy of regular omega-languages. In: Proceedings of the Int.
    Joint Conf. on the Theory and Practice of Software Development TAPSOFT-95 in Aarhus, Denmark, Lecture Notes in Computer Science, v.
  4. Berlin: Springer 1995, 277-287.
  5. Fine hierarchy of regular omega-languages. Theor. Computer Science, 191 (1998), 37-59.

ПРЕПОДАВАНИЕ МАТЕМАТИКИ И ИНФОРМАТИКИ

  1. Понятие о тензорах (совместно с Э.В. Скворцовым). Метод.указания для студентов КХТИ, Изд-во КХТИ, Казань, 1983, 16 с.
  2. Практические занятия по мат. логике. Метод. разработка для студентов НГПИ, Новосибирск, НГПИ, 1988, 35 с.
  3. Практические занятия по числовым системам. Метод. разработка для студентов НГПИ, Новосибирск, НГПИ, 1990, 27 с.
  4. Краткий курс математической логики. Учебное пособие. Новосибирск, НГПИ, 1992, 84 с.
  5. Задачи по программированию на языке Паскаль (совместно с В.Н. Тимкиным).
    Метод. разработка для студентов НГПИ, Новосибирск, НГПИ,1993, 35 с.
  6. Конференция по информатике как форма творческой активности учащихся.
    Методические рекомендации (совместно с А.А. Москвитиным, А.А. Шрайнером и В.Н. Тимкиным), Новосибирск, 1996, 38 с.
  7. Краткий курс математической логики (учебное пособие). Новосибирск, НГПУ, 1997, 10 п.л. (совместно с А.А. Урманом и А.Б. Хуторецким).
  8. О внеурочных формах обучения информатике. М-лы конф. «Новые информационные технологии в университетском образовании», Новосибирск, 1998, с. 111.
  9. Информатизация образования: эволюция, проблемы, перспективы.
    Труды региональной конф. ЮНЕСКО «Экология человека: взаимодействие культуры и образования в современных условиях». Новосибирск, 1998, т.2, ч. 1, с.170-177 (совместно с Э.Т. Селивановой).
  10. Динамические системы и фракталы в курсе информатике. Труды 2-го Конгресса ИНПРИМ. Новосибирск, 1998, т. 3, с. 254.
pgt 0.037sec. [     ]   mailto: olgerd-webmaster ["at"] ngs[.]ru