Лаборатория математических методов и моделей в биоинформатике
Института проблем передачи информации им. А.А. Харкевича
Российской академии наук
Лаборатория 6 ИППИ РАН

Публикации сотрудника • Василий Александрович Любецкий

Идентификаторы автора:
ORCID: 0000-0002-3739-9161
WoS ResearcherID: D-8425-2014
Scopus Author ID: 6603305576
eLIBRARY AuthorID: 5238 (+)
IstinaResearcherID: 38379005
OpenAlex ID: A5076703141
Google Scholar ID: qhXS_Z0AAAAJ
  1. В.А. Любецкий. Некоторые следствия гипотезы о несчетности множества конструктивных действительных чисел. Доклады Академии наук СССР, 1968, том 182, № 4, стр. 758–759, WOS: A1968B916300006, Mi: dan34159, PDF
  2. А.Г. Драгалин, В.А. Любецкий. Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкеля. Доклады Академии наук СССР, 1969, том 187, № 6, стр. 1225–1228, Mi: dan34839, PDF
  3. В.А. Любецкий. Из существования неизмеримого множества типа А2 вытекает существование несчетного множества, не содержащего совершенного подмножества типа CА. Доклады Академии наук СССР, 1970, том 195, № 3, стр. 548–550, WOS: A1970H939300009, Mi: dan35803, PDF
  4. А.Г. Драгалин, В.А. Любецкий, В.И. Фуксон. Определимые последовательности счетных ординалов. Доклады Академии наук СССР, 1971, том 196, № 6, стр. 1263–1265, Mi: dan35985, PDF
  5. В.А. Любецкий. Независимость некоторых предложений дескриптивной теории множеств от теории множеств Цермело-Френкеля. Вестник Московского университета. Серия 1. Математика. Механика, 1971, № 2, стр. 78–82
  6. В.А. Любецкий. Дискретная математика. М.: МО, 1976, 175 стр., Допущено в качестве учебного пособия, ISBN: G-917017-89
  7. В.А. Любецкий. Случайные последовательности чисел и А2-множества. в книге Исследования по теории множеств и неклассическим логикам, М.: Наука, 1976, стр. 96–122, PDF
  8. Е.И. Гордон, В.А. Любецкий. Некоторые применения нестандартного анализа в теории булевозначных мер. Доклады Академии наук СССР, 1981, том 256, № 5, стр. 1037–1041, WOS: A1981LX08600002, Mi: dan44230, PDF
    Англоязычное издание:
    E.I. Gordon, V.A. Lyubetsky. Some applications of nonstandard analysis in the theory of Boolean-valued measures. Sov. Math., Dokl., 1981, Vol. 23, P. 142–146
  9. В.А. Любецкий, Е.И. Гордон. Булевы расширения равномерных структур. в книге Исследования по неклассическим логикам и формальным системам, М.: Наука, 1983, стр. 82–153
  10. В.А. Любецкий, Е.И. Гордон. Вложение пучков в гейтинговозначный универсум. Доклады Академии наук СССР, 1983, том 268, № 4, стр. 794–798, WOS: A1983QC80900005, Mi: dan45897, PDF
  11. В.А. Любецкий. О некоторых алгебраических вопросах нестандартного анализа. Доклады Академии наук СССР, 1985, том 280, № 1, стр. 38–41, WOS: A1985AAN3700008, Mi: dan46844, PDF
  12. В.А. Любецкий. Некоторые применения теории топосов к изучению алгебраических систем. в книге П.T. Джонстон «Теория топосов», дополнение к книге, М.: Наука, 1986, стр. 376–433
  13. В.А. Любецкий. Основные понятия школьной математики. М.: Просвещение, 1987, 600 стр., Допущено Министерством образования в качестве учебного пособия, ISBN: 103-03-87, i
  14. В.А. Любецкий. Оценки и пучки. О некоторых вопросах нестандартного анализа. Успехи математических наук, 1989, том 44, вып. 4(268), стр. 99–153, Mi: rm1849, PDF
    Англоязычное издание:
    V.A. Lyubetskii. Valuations and sheaves. On some questions of non-standard analysis. Russian Mathematical Surveys, Jul-Aug 1989, Vol. 44, No. 4, P. 37–112, DOI: 10.1070/RM1989v044n04ABEH002140, WOS: A1989DG00100003, Scopus: 2-s2.0-34547237649, eLIBRARY: 30933010, PDF
  15. В.А. Любецкий. Модельная полнота теории и оценка формул. Алгебра и логика, 1990, том 29, № 1, стр. 15–28, Mi: al2088, PDF
    Англоязычное издание:
    V.A. Lyubetsky. Model-completeness of a theory and evaluation of formulas. Algebra and Logic, 1990, Vol. 29, No. 1, P. 10–22, DOI: 10.1007/BF01980216, Scopus: 2-s2.0-34249924467, PDF
  16. В.А. Любецкий. Гейтинговозначный анализ: гипотеза П.С. Новикова. в книге Основания неклассических логик, М.: АН СССР, 1990, стр. 105–119
  17. V.A. Lyubetsky. On some applications of Heyting-valued analysis II. In: COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988, DOI: 10.1007/3-540-52335-9_53, WOS: A1990DB06100011, eLIBRARY: 30909549, PDF
  18. В.А. Любецкий. Оценки и пучки: теоремы переноса. Автореферат диссертации на соискание ученой степени доктора физико-математических наук по специальности 01.01.06 - Математическая логика, алгебра и теория чисел, Москва, 1991, 34 стр., eLIBRARY: 30136185, PDF
  19. В.А. Любецкий. Интуиционистская теория алгебраических систем и гейтинговозначный анализ. Алгебра и логика, 1991, том 30, № 3, стр. 320–333, Mi: al2153, PDF
    Англоязычное издание:
    V.A. Lyubetsky. Intuitionistic theory of algebraic systems and heyting-valid analysis. Algebra and Logic, 1991, Vol. 30, No. 3, P. 208–216, DOI: 10.1007/BF01978854, Scopus: 2-s2.0-34249918213, PDF
  20. В.А. Любецкий. Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец. Алгебра и логика, 1991, том 30, № 6, стр. 652–670, Mi: al2172, PDF
    Англоязычное издание:
    V.A. Lyubetsky. Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings. Algebra and Logic, 1991, Vol. 30, No. 6, P. 427–439, DOI: 10.1007/BF02018738, Scopus: 2-s2.0-34249925232, eLIBRARY: 30835301, PDF
  21. В.А. Любецкий. Гейтинговозначный анализ: гипотеза П.С. Новикова. Journal of Symbolic Logic, 1991, том 56, № 3, стр. 1131
  22. В.А. Любецкий. Локально аксиоматизируемые классы колец, II. Journal of Symbolic Logic, 1992, том 57, № 1, стр. 377
  23. V.A. Lyubetsky. Heyting-valued analysis: P. S. Novikov's hypotheses. Contemporary Mathematics, 1993, Vol. 131, Part 3, P. 565–583
  24. В.А. Любецкий. Об одном подходе к моделированию интеллектуальных систем. Проблемы передачи информации, 1993, том 29, № 3, стр. 107–109, Mi: ppi194, PDF
    Англоязычное издание:
    V.A. Lyubetskii. On one approach to modelling intelligent systems. Problems of Information Transmission, 1993, Vol. 29, No. 3, P. 295–297
  25. В.А. Любецкий. Теоремы переноса и алгебра модальных операторов. Логические исследования, 1995, вып. 3, стр. 205–232
  26. В.А. Любецкий. О некоторых применениях метода семантического оценивания. Проблемы передачи информации, 1996, том 32, вып. 3, стр. 82–96, Scopus: 2-s2.0-0030182912, Mi: ppi348, PDF
    Англоязычное издание:
    V.A. Lyubetskii. On some applications of the semantic evaluation method. Problems of Information Transmission, 1996, Vol. 32, No. 3, P. 290–302
  27. В.А. Любецкий. Теоремы переноса и алгебра модальных операторов. Алгебра и логика, 1997, том 36, № 3, стр. 282–303, Mi: al2394
    Англоязычное издание:
    V.A. Lyubetsky. Transfer theorems and the algebra of modal operators. Algebra and Logic, 1997, Vol. 36, No. 3, P. 169–181, DOI: 10.1007/BF02671615, eLIBRARY: 31410917, PDF
  28. В.А. Любецкий. Теоремы переноса и интуиционистская теория множеств. Доклады Академии наук, 1997, том 357, № 2, стр. 168–171, WOS: 000071383900006, Scopus: 2-s2.0-33748730755
    Англоязычное издание:
    V.A. Lyubetsky. Transference theorems and intuitionistic set theory. Doklady Mathematics, 1997, Vol. 56, No. 3, P. 851–854, Scopus: 2-s2.0-0040600478, eLIBRARY: 13268005
  29. В.А. Любецкий, С.Н. Любецкая. О некоторых задачах эффективизации и целенаправленного поведения. Логические исследования, 1997, вып. 4, стр. 180
  30. В.А. Любецкий. Логика устной речи в сравнении с логикой письменной речи. Труды второго философского конгресса, Екатеринбург, 1999, часть 1, стр. 222
  31. В.А. Любецкий. О преобразовании классических выводов в интуиционистские. Труды второй международной конференции «Смирновские чтения», Москва, 1999, стр. 38–41
  32. В.А. Любецкий. Об основах интеллектуальных процессов. Труды второго философского конгресса, Екатеринбург, 1999, часть 1, стр. 223–224
  33. В.А. Любецкий. Логические модели процессов информационного взаимодействия. Труды международной конференции «Проблемы управления и моделирования в сложных системах», Самара, 15–17 июня 1999, Самара: Самарский научный центр РАН, 1999, стр. 133–145
  34. Н.А. Кузнецов, В.А. Любецкий. Компьютерная логика в информационных процессах. Проблемы передачи информации, 1999, том 35, вып. 2, стр. 107–111, Scopus: 2-s2.0-0033116294, Mi: ppi448, PDF
  35. V.A. Lyubetsky, M.J.A. Larijani. Topics in classical and intuitionistic model theory. Gardariki, Moscow, Russia, 2000, 390 pages
  36. А.В. Зарелуа, В.А. Любецкий. Предисловие редакторов к 1-му тому. в книге А. Маллиос «Геометрия векторных пучков», Мир, 2000, 460 стр.
  37. К.Ю. Горбунов, В.А. Любецкий. Об алгоритме выявления регуляторного сигнала в наборе последовательностей. Логические исследования, М.: Наука, 2000, вып. 7, стр. 159–163, eLIBRARY: 21575669
  38. Н.А. Кузнецов, В.А. Любецкий, А.В. Чернавский. К вопросу о понятии информационного взаимодействия, 1: допсихическая биоинформатика. Труды II международной конференции «Проблемы управления и моделирования в сложных системах», Самара, 20–23 июня 2000, Самара: Самарский научный центр РАН, 2000, стр. 8–20
  39. В.В. Вьюгин, К.Ю. Горбунов, В.А. Любецкий. Алгоритмы выделения регуляторного сигнала и построения эволюционных деревьев. Труды II международной конференции «Проблемы управления и моделирования в сложных системах», Самара, 20–23 июня 2000, Самара: Самарский научный центр РАН, 2000, стр. 130–137
  40. Н.К. Верещагин, В.А. Любецкий. Алгоритм определения вторичной структуры РНК. Труды научно-исследовательского семинара логического центра ИФ РАН, М.: РАН, 2000, вып. 14, стр. 99–109
  41. А.В. Зарелуа, В.А. Любецкий. Предисловие редакторов ко 2-му тому. в книге А. Маллиос «Геометрия векторных пучков», Мир, 2001, 442 стр.
  42. Л.В. Данилова, К.Ю. Горбунов, М.С. Гельфанд, В.А. Любецкий. Алгоритм выделения регуляторных сигналов в последовательностях ДНК. Молекулярная биология, 2001, том 35, № 6, стр. 987–995, Scopus: 2-s2.0-0035513228, PMID: 11771146, PDF
    Англоязычное издание:
    L.V. Danilova, K.Yu. Gorbunov, M.S. Gelfand, V.A. Lyubetskii. Algorithm of regulatory signal recognition in DNA sequences. Molecular Biology, Nov–Dec 2001, Vol. 35, No. 6, P. 841–848, DOI: 10.1023/A:1013282101105, WOS: 000173100100008, Scopus: 2-s2.0-0035497842, eLIBRARY: 13370921, PDF
  43. Л.В. Данилова, К.Ю. Горбунов, М.С. Гельфанд, В.А. Любецкий. Алгоритм выделения регуляторных сигналов в последовательностях ДНК. Информационные процессы, 2001, том 1, № 1, стр. 56–63, eLIBRARY: 9116966, i, PDF
  44. М.С. Гельфанд, В.В. Вьюгин, В.А. Любецкий. Об одном способе построения деревьев эволюции видов по множественным генетическим данным. Информационные процессы, 2001, том 1, № 1, стр. 64–77, eLIBRARY: 9116967, i, PDF
  45. В.В. Вьюгин, В.А. Любецкий. Об одном алгоритме поиска горизонтального переноса гена на основе филогенетических деревьев белков. Информационные процессы, 2001, том 1, № 2, стр. 167–177, eLIBRARY: 9117533, i, PDF
  46. К.Ю. Горбунов, Е.В. Любецкая, В.А. Любецкий. О двух алгоритмах поиска альтернативной вторичной структуры РНК. Информационные процессы, 2001, том&