|
|
1988 г. Авторы: Кановей В.Г.Идеи А.Н.Колмогорова в теории операций над множествами.
УМН, 1988, 43, 6, с. 93--128.
Перейти к публикации |
|
1988 г. Авторы: Кановей В.Г., Успенский В.А.Вклад М.Я.Суслина в теоретико-множественную математику.
Вестник Моск. Унив. сер. мат., мех., 1988, 43, 5, с. 22--30.
Перейти к публикации |
|
1988 г. Авторы: Гришин В.Н., Кановей В.Г.О работах по дескриптивной теории множеств, выполненных в Математическом институте им. В.А.Стеклова АН СССР.
Труды МИАН, 1988, 182, с. 224--244.
Перейти к публикации |
|
1988 г. Авторы: Lyubetsky V.“On some applications of Heyting-valued analysis II”
Article in the book 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
|
|
1988 г. Авторы: Рубанов Л.И."Практическая реализация имитационного подхода к пониманию естественного языка" // Системы передачи и обработки информации, ч.1. М.: ИППИ АН СССР, 1988, с.25-28
|
|
1988 г. Авторы: Рубанов Л.И."Компьютерные системы с естественно- языковым доступом: методология и опыт построения". Труды Всесоюзной конференции по искусственному интеллекту. Том 3. Переславль-Залесский: ИПС АН СССР, 1988, с.60-65
|
|
1987 г. Авторы: Кановей В.Г.К проблемам Н.Н.Лузина о существовании CA-множеств, не имеющих совершенных подмножеств.
Математические Заметки, 1987, 41, 5, с. 750--759. Перейти к публикации |
|
1987 г. Авторы: Кановей В.Г."Нестандартное" построение степенного ряда.
В книге В.А.Успенского
"Что такое нестандартный анализ", М., Наука, 1987, с. 121--124.
|
|
1987 г. Авторы: Любецкий В.А.Основные понятия школьной математики.
Учебное пособие для вузов. М.: Просвещение, 1987. 600 стр. ISBN 103-03-87. Перейти к публикации |
|
1987 г. Авторы: Рубанов Л.И., Файн В.С."Имитационный принцип в задаче общения с компьютером на свободном естественном языке". В кн.: В.С.Файн, Распознавание образов и машинное понимание естественного языка. М.: Наука, 1987, с.105-129,154-165.
|
|
1986 г. Авторы: Любецкий В.А.«Некоторые применения теории топосов к изучению алгебраических систем»,
дополнение к книге: П.T. Джонстон «Теория топосов», М.: Наука, 1986, стр. 376–433.
|
|
1985 г. Авторы: Кановей В.Г.Некоторые проблемы дескриптивной теории множеств и теории типов.
Автореф. дисс. докт. физ.--матем. наук.
МИАН им. В.А.Стеклова, 1985, 18 с. Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.К проблеме существования неборелевских AF_II множеств.
Математические Заметки, 1985, 37, 2, с. 274--283
Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.Развитие дескриптивной теории множеств под влиянием трудов Н.Н.Лузина.
УМН, 1985, 40, 3 (243), с. 115--153.
Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.Аксиома детерминированности и современное развитие дескриптивной теории множеств.
Итоги науки и техники. Алгебра, топология, геометрия, т. 23, 1985, с. 3--50.
Перейти к публикации |
|
1985 г. Авторы: Любецкий В.А.«О некоторых алгебраических проблемах нестандартного анализа»
Доклады АН СССР,
1985, т. 280, № 1.
|
|
1984 г. Авторы: Успенский В.А., Кановей В.Г.Н.Н. Лузин — выдающийся математик и педагог.
Вестник АН СССР, 1984, 11, с. 95--102.
|
|
1984 г. Авторы: Кановей В.Г.Неразрешимые и разрешимые свойства конституант.
Матем. Сборник, 1984, 124, 4, с. 505--535.
Перейти к публикации |
|
1984 г. Авторы: Кановей В.Г.Аксиома выбора и аксиома детерминированности.
М.: Наука, серия «Проблемы науки и технического прогресса», 1984, 63 c.
Монография
Перейти к публикации |
|
1984 г. Авторы: Файн В.С., Толчан А.Я., Рубанов Л.И."Новые аспекты машинного понимания естественно-языковых сообщений". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.173-176
|
|
1984 г. Авторы: Рубанов Л.И."Об одном методе параметризации перенастраиваемого естественно-языкового процессора". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.157-160
|
|
1983 г. Авторы: Кановей В.Г.О некоторых проблемах дескриптивной теории множеств и определимости в теории типов.
Исследования по неклассическим логикам и формальным системам,
М., Наука, 1983, с. 21--81
|
|
1983 г. Авторы: Кановей В.Г.О структуре конституант CA-множеств.
Сиб. Мат. Ж., 1983, 24, 2, с. 56--76
|
|
1983 г. Авторы: Кановей В.Г.Обобщение одной теоремы П.С.Новикова о сечениях борелевских множеств.
Матем. Заметки, 1983, 33, 2, с. 289--292.
Перейти к публикации |
|
1983 г. Авторы: Кановей В.Г.Ответ на вопрос Н.Н.Лузина об отделимости CA кривых.
Матем. Заметки, 1983, 33, 3, с. 435--437
Перейти к публикации |
|
1983 г. Авторы: Кановей В.Г., Успенский В.А.Проблемы Лузина о конституантах и их судьба.
Вестник Моск. Унив. сер. мат., мех.
1983, 6, с. 73--87
Перейти к публикации |
|
1983 г. Авторы: Любецкий В.А., Гордон Е.И.«Вложение пучков в гейтинговозначный универсум»
Доклады АН СССР,
1983, т. 268, № 4.
|
|
1983 г. Авторы: Любецкий В.А., Гордон Е.И.«Булевы расширения равномерных структур» В книге: «Исследования по неклассическим логикам и формальным системам», Наука, 1983, сс. 82–153.
|
|
1982 г. Авторы: Кановей В.Г.К проблемам Н.Н. Лузина о вложимости и расщеплении проективных множеств.
Математические Заметки, 1982, 32, 1, с. 23--39. Перейти к публикации |
|
1982 г. Авторы: Кановей В.Г.Проективная иерархия Н.Н. Лузина: современное состояние теории.
Справочная книга по математической логике, часть II: теория множеств,
М.: Наука, 1982, с. 273--364.
|
|
1981 г. Авторы: Кановей В.Г.О несчетных последовательностях множеств, даваемых операцией решета,
ДАН СССР, 1981, 257, 4, с. 808--812.
Перейти к публикации |
|
1981 г. Авторы: Кановей В.Г., Островский А.В.О неборелевских F_II множествах.
ДАН СССР, 1981, 260, 5, с. 1061--1064. Перейти к публикации |
|
1981 г. Авторы: Кановей В.Г.Теории Цермело без аксиомы степени и Цермело -- Френкеля без аксиомы степени равнонепротиворечивы.
Математические Заметки, 1981, 30, 3, с. 407--419.
Перейти к публикации |
|
1981 г. Авторы: Любецкий В.А., Гордон Е.И.«Некоторые применения нестандартного анализа в теории булевозначных мер»
Доклады АН СССР,
1981, т. 256, № 5, сс. 1037–1041.
|
|
1981 г. Авторы: Рубанов Л.И."О разработке диалоговой системы для отраслевой АСУ". В кн.: Диалог в автоматизированных системах. М.: Изд. МДНТП, 1981, c.134-141
|
|
1980 г. Авторы: Кановей В.Г.О некоторых проблемах дескриптивной теории множеств и о связи конструктивности и определимости.
ДАН СССР, 1980, 253, 4, c. 800 - 803.
Перейти к публикации |
|
1979 г. Авторы: Кановей В.Г.О выразимости формулы вынуждения в анализе.
Вестник Моск. Унив. сер. мат., мех., 1979, 2, с. 3--13.
|
|
1979 г. Авторы: Кановей В.Г.О дескриптивных формах счетной аксиомы выбора.
Исследования по неклассическим логикам и теории множеств,
М.: Наука, 1979, с. 3--136.
|
|
1979 г. Авторы: Кановей В.Г.Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимо.
Изв. АН СССР, сер. матем., 1979, 43, 6, с. 1259--1293.
Перейти к публикации |
|
1979 г. Авторы: Кановей В.Г.Об одном следствии аксиомы Мартина.
Математические Заметки, 1979, 26, 1, с. 113--121.
Перейти к публикации |
|
1978 г. Авторы: Кановей В.Г.О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка.
ДАН СССР, 1978, 243, 6, с. 1384--1386.
Перейти к публикации |
|
1978 г. Авторы: Кановей В.Г.Доказательство одной теоремы Н.Н. Лузина.
Математические Заметки, 1978, 23, 1, с. 61--66. Перейти к публикации |
|
1978 г. Авторы: Кановей В.Г.Оптимальная стратегия распределения ресурсов в условиях
оперативного руководства перевозочным процессом.
Межвузовский сборник, 597,
МИИТ, 1978, с. 86--107.
Загрузить (293.5 KB) |
|
1978 г. Авторы: Кановей В.Г.О непустоте классов в аксиоматической теории множеств.
Изв. АН СССР, сер. матем., 1978, 42, 3, с. 550--579. Перейти к публикации |
|
1976 г. Авторы: Кановей В.Г.Определимость с помощью степеней конструктивности.
Исследования по теории множеств и неклассическим логикам,
Москва, Наука, 1976, с. 5--95.
Перейти к публикации |
|
1976 г. Авторы: Кановей В.Г.Непротиворечивость некоторых предложений дескриптивной теории множеств, выражающих существование объектов с
парадоксальными свойствами.
Автореф. дисс. канд. физ.--мат. наук,
МГУ, 1976, 16 с. Перейти к публикации |
|
1976 г. Авторы: Любецкий В.А.Дискретная математика.
Учебное пособие для вузов. М.: Изд-во МО, 1976. 175 стр. ISBN G-917017-89.
|
|
1976 г. Авторы: Любецкий В.А.«Случайные последовательности вещественных чисел и А2 множества» В книге: «Исследования по теории множеств и неклассическим логикам», Наука, Москва, 1976, сс. 96–122.
|
|
1975 г. Авторы: Кановей В.Г.О мажорировании начальных сегментов степеней конструктивности.
Математические Заметки, 1975, 17, 6, с. 939--946. Перейти к публикации |
|
1975 г. Авторы: Кановей В.Г.О независимости некоторых предложений дескриптивной теории множеств и арифметики второго порядка.
ДАН СССР, 1975, 223, 3, с. 552--554. Перейти к публикации |
|
|
|
|