Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
скрыть
отправить сообщение
Успенский Владимир Андреевич
пользователь
доктор физико-математических наук с 1964 года
профессор по кафедре
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
, заведующий кафедрой, 1 апреля 1959 - 27 июня 2018
Соавторы:
Семенов А.Л.
,
Кановей В.Г.
,
Плиско В.Е.
,
Колмогоров А.Н.
,
Верещагин Н.К.
,
Шень А.
,
Адян С.И.
,
Кузичев А.С.
,
Беклемишев Л.Д.
,
Дынкин Е.Б.
,
Линтон Т.
,
Новиков С.П.
,
Пентус М.Р.
показать полностью...
,
Сосинский А.Б.
,
Durand B.
,
Арнольд В.Д.
,
Арнольд В.И.
,
Вялый М.Н.
,
Демидов А.С.
,
Драгалин А.Г.
,
Зеликин М.И.
,
Ильяшенко Ю.С.
,
Лысёнок И.Г.
,
Магарил-Ильяев Г.Г.
,
Мищенко Е.Ф.
,
Мучник А.А.
,
Ногина Е.Ю.
,
Осипенко К.Ю.
,
Падучева Е.В.
,
Поливанова А.К.
,
Сопрунов С.Ф.
,
Тихомиров В.М.
,
Цфасман И.М.
,
Ященко И.В.
85 статей
,
28 книг
,
2 доклада на конференциях
,
5 НИР
,
1 членство в редколлегии журнала
,
2 членства в редколлегиях сборников
,
1 членство в диссертационном совете
,
6 диссертаций
,
15 дипломных работ
,
2 учебных курса
,
2 выступление в СМИ
Количество цитирований статей в журналах по данным Web of Science: 231, Scopus: 123
РИНЦ:
IstinaResearcherID (IRID): 1650419
Деятельность
Статьи в журналах
2011
Теорема Гёделя о неполноте и четыре дороги, ведущие к ней
Успенский Владимир Андреевич
в журнале
Математическое просвещение
, том 15, с. 35-75
2008
Lebesgue measure and gambling
Kanoveĭ V.G.
,
Linton T.
,
Uspensky V.A.
в журнале
Sbornik Mathematics
, издательство
London Mathematical Society
(United Kingdom)
, том 199, № 11, с. 1597-1619
DOI
2008
Игровой подход к мере Лебега
Кановей Владимир Григорьевич
,
Линтон Том
,
Успенский Владимир Андреевич
в журнале
Математический сборник
, издательство
МИАН
(Москва)
, том 199, № 11, с. 21-44
DOI
2007
Andrei Al'bertovich Muchnik (Obituary)
Adyan S.I.
,
Semenov A.L.
,
Uspenskii V.A.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 62, № 4, с. 775-779
2007
Андрей Альбертович Мучник (некролог)
Адян С.И.
,
Семенов А.Л.
,
Успенский В.А.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 62, № 4, с. 140-144
DOI
2007
Летняя школа “Современная математика”
Арнольд Виталий Дмитриевич
,
Сосинский Алексей Брониславович
,
Тихомиров Владимир Михайлович
,
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 62, № 5, с. 187-188
DOI
2006
Sergei Ivanovich Adian (on his 75th birthday)
Beklemishev L.D.
, Lysenok I.G., Mal'tsev A.A.,
Novikov S.P.
,
Pentus M.R.
, Razborov A.A.,
Semenov A.L.
,
Uspenskii V.A.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 61, № 3, с. 575-588
2006
О единственности нестандартных расширений
Кановей В.Г.
,
Успенский В.А.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 5, с. 3-10
2006
Сергей Иванович Адян (к 75-летию со дня рождения)
Беклемишев Л.Д.
,
Лысенок И.Г.
, Мальцев А.А.,
Новиков С.П.
,
Пентус М.Р.
, Разборов А.А.,
Семенов А.Л.
,
Успенский В.А.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 61, № 3, с. 179-191
2006
Четыре алгоритмических лица случайности
Успенский Владимир Андреевич
в журнале
Математическое просвещение
, том 10, с. 71-108
2005
Vladimir Tikhomirov
Arnol'd V.I.
,
Demidov A.S.
,
Ilyashenko Yu S.
,
Magaril-Il'yaev G.G.
,
Mishchenko E.F.
,
Osipenko K.Yu
,
Sossinski A.B.
,
Tsfasman M.A.
,
Uspenskii V.A.
,
Vyalyi M.N.
,
Yaschenko I.V.
,
Zelikin M.I.
в журнале
Moscow Mathematical Journal
, том 5, № 1, с. 295-295
2005
Об эквивалентности двух форм континуум-гипотезы
Кановей В.Г.
,
Успенский В.А.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 62-64
2003
Do stronger definitions of randomness exist?
Durand Bruno
,
Kanovei Vladimir
,
Uspensky Vladimir
,
Vereshchagin Nikolai
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 290, № 3, с. 1987-1996
DOI
1998
Mathematical Metaphysics of Randomness
Muchnik Andrei A.
,
Semenov Alexei L.
,
Uspensky Vladimir A.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 207, № 2, с. 263-317
DOI
1996
Relations between varieties of Kolmogorov complexities
Uspensky V.A.
,
Shen A.
в журнале
Mathematical Systems Theory
, том 29, № 3, с. 271-292
DOI
1996
Как теория чисел помогает в шифровальном деле
Успенский В.А.
в журнале
Соросовский образовательный журнал
, издательство
Международная Соросовская Программа образования в области точных наук
(Москва)
, № 6, с. 122-127
1995
Raymond M Smullyan. Gödel's incompleteness theorems
Uspensky V.
,
Plisko V.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 60, № 4, с. 1320-1324
DOI
1994
Gödel’s incompleteness theorem
Uspensky Vladimir A.
в журнале
Theoretical Computer Science
, издательство
Elsevier BV
(Netherlands)
, том 130, № 2, с. 239-319
DOI
1992
Kolmogorov and mathematical logic
Uspensky Vladimir A.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 57, № 2, с. 385-412
DOI
1991
Диагностические пропозициональные формулы
Успенский В.А.
,
Плиско В.Е.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 7-12
1990
Can an individual sequence of zeros and ones be random?
Uspensky Vladimir
,
Semenov Alexei
,
Shen Alexander
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 45, № 1, с. 121-189
DOI
1990
Может ли (индивидуальная) последовательность нулей и единиц быть случайной?
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
,
Шень Александр Ханиевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 45, № 1, с. 105-162
1988
M.Ya.Suslin's contribution to set-theoretic mathematics
Uspenskii V.A.
,
Kanovei V.G.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 43, № 5, с. 29-40
1988
Вклад М. Я. Суслина в теоретико-множественную математику
Успенский В.А.
,
Кановей В.Г.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 5, с. 22-30
1987
Algorithms and randomness
Kolmogorov A.N.
,
Uspenskii V.A.
в журнале
Theory of Probability and its Applications
, издательство
Society for Industrial and Applied Mathematics
(United States)
, том 32, № 3, с. 389-412
DOI
1987
Алгоритмы и случайность
Колмогоров Андрей Николаевич
,
Успенский Владимир Андреевич
в журнале
Теория вероятностей и ее применения
, издательство
Наука
(М.)
, том 32, № 3, с. 425-455
1986
Математическая логика в вычислительных науках и вычислительной практике
Семёнов Алексей Львович
,
Успенский Владимир Андреевич
в журнале
Вестник Академии наук СССР
, том 56, № 7, с. 93-103
1985
Luzin's contribution to the descriptive theory of sets and functions: concepts, problems, predictions
Uspenskii V.A.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 40, № 3, с. 97-134
DOI
1985
Вклад Н. Н. Лузина в дескриптивную теорию множеств и функций: понятия, проблемы, предсказания
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 40, № 3, с. 85-116
1985
Решимые и нерешимые алгоритмические проблемы
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
в журнале
Квант
, издательство
Квант
(М.)
, № 7, с. 9-15
1983
Luzin's problems on constituents and their fate
Uspenskii V.A.
,
Kanovei V.G.
в журнале
Moscow University Mathematics Bulletin
, издательство
Allerton Press Inc.
(United States)
, том 38, № 6, с. 86-102
1983
Проблемы Лузина о конституантах и их судьба
Успенский В.А.
,
Кановей В.Г.
в журнале
Вестник Московского университета. Серия 1: Математика. Механика
, издательство
Изд-во Моск. ун-та
(М.)
, № 6, с. 73-87
1979
О вещных коннотациях абстрактных существительных
Успенский Владимир Андреевич
в журнале
Семиотика и информатика
, том 11, с. 142-148
1979
Подлежащее или сказуемое? (Семантический критерий различения подлежащего и сказуемого в биноминативных предложениях)
Падучева Елена Викторовна
,
Успенский Владимир Андреевич
в журнале
Известия АН СССР. Серия литературы и языка
, том 38, № 4, с. 349-360
1974
An elementary exposition of Gödel's incompleteness theorem
Uspenskii V.A.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 29, № 1, с. 63-106
DOI
1974
Теорема Гёделя о неполноте в элементарном изложении
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 29, № 1, с. 3-47
1970
Гуманитарии сдают математику
Кузичев Александр Сергеевич
,
Успенский Владимир Андреевич
в журнале
Квант
, издательство
Квант
(М.)
, № 4, с. 35-40
1970
Ответы, указания, решения к статье "Гуманитарии сдают математику"
Кузичев Александр Сергеевич
,
Успенский Владимир Андреевич
в журнале
Квант
, издательство
Квант
(М.)
, № 4, с. 61-62
1969
Reduction of computable and potentially computable numerations
Uspenskii V.A.
в журнале
Mathematical notes of the Academy of Sciences of the USSR
, том 6, № 1, с. 461-464
DOI
1969
О сводимости вычислимых и потенциально вычислимых нумераций
Успенский Владимир Андреевич
в журнале
Математические заметки
, издательство
МИАН
(Москва)
, том 6, № 1, с. 3-9
1964
Одна модель для понятия фонемы
Успенский Владимир Андреевич
в журнале
Вопросы языкознания
, том 6, с. 39-53
1963
Gödel’s theorem and the theory of algorithms
Uspenskij V.A.
в журнале
American Mathematical Society Translations - Series 2, Advances in the Mathematical Sciences
, издательство
American Mathematical Society
(United States)
, том 23, с. 103-107
DOI
1963
On the definition of an algorithm
Kolmogorov A.N.
,
Uspenskij V.A.
в журнале
American Mathematical Society Translations - Series 2, Advances in the Mathematical Sciences
, издательство
American Mathematical Society
(United States)
, том 29, с. 217-245
DOI
1963
Some remarks on recursively enumerable sets
Uspenskij V.A.
в журнале
American Mathematical Society Translations - Series 2, Advances in the Mathematical Sciences
, издательство
American Mathematical Society
(United States)
, том 23, с. 89-101
DOI
1960
К вопросу о соотношении между различными системами конструктивных действительных чисел
Успенский Владимир Андреевич
в журнале
Известия высших учебных заведений. Математика
, издательство
Изд-во Казан. ун-та
(Казань)
, № 2, с. 199-208
1959
О проблеме построения машинного языка для информационной машины
Успенский Владимир Андреевич
в журнале
Проблемы кибернетики
, том 2, с. 39-50
1958
К определению алгоритма
Колмогоров Андрей Николаевич
,
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 13, № 4, с. 3-28
1957
К теореме о равномерной непрерывности
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 12, № 1, с. 99-142
1957
Несколько замечаний о перечислимых множествах
Успенский В.А.
в журнале
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
, том 3, № 12, с. 157-170
DOI
1956
Вычислимые операции и понятие программы
Успенский В.А.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 11, № 4, с. 172-176
1955
О вычислимых операциях
Успенский В.А.
в журнале
Доклады АН СССР
, том 103, № 5, с. 773-776
1955
Системы перечислимых множеств и их нумерации
Успенский В.А.
в журнале
Доклады АН СССР
, том 105, № 6, с. 1155-1158
1953
О понятии алгоритмической сводимости
Успенский В.А.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 8, № 4, с. 176
1953
Теорема Гёделя и теория алгоритмов
Успенский В.А.
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 8, № 4, с. 176-178
1953
Теорема Гёделя и теория алгоритмов
Успенский В.А.
в журнале
Доклады АН СССР
, том 91, № 4, с. 737-740
1949
Геометрический вывод основных свойств гармонических функций
Успенский Владимир Андреевич
в журнале
Успехи математических наук
, издательство
Наука
(М.)
, том 4, № 2, с. 201-205
Статьи в сборниках
2014
The Lattice of Definability. Origins, Recent Developments, and Further Directions
Semenov Alexei
,
Soprunov Sergey
,
Uspensky Vladimir
в сборнике
Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
, том 8476, с. 23-38
DOI
редактор
Верещагин Николай Константинович
2011
Колмогоров и филологические науки
Успенский Владимир Андреевич
в сборнике
Историко-математические исследования. Вторая серия
, серия
Историко-математические исследования
, место издания
Янус-К Москва
, том 14, с. 40-51
2009
К истории проблемы Гольдбаха
Успенский Владимир Андреевич
в сборнике
Историко-математические исследования. Вторая серия
, серия
Историко-математические исследования
, место издания
Янус-К Москва
, том 13, с. 273-283
2007
И академик, и герой
Успенский Владимир Андреевич
в сборнике
Аксель Иванович Берг, 1893-1979
, серия
Информатика: неограниченные возможности и возможные ограничения
, место издания
Наука Москва
, с. 194-198
2005
Закон исключенного третьего и закон двойного отрицания. Комментарий 2005 г. к работе "О принципе tertium non datur"
Успенский В.А.
,
Плиско В.Е.
в сборнике
А. Н. Колмогоров. Избранные труды. Том 1. Математика и механика
, место издания
Наука Москва
, с. 445-454
2005
Интуиционистская логика
Успенский В.А.
,
Плиско В.Е.
в сборнике
А. Н. Колмогоров. Избранные труды. Том 1. Математика и механика
, место издания
Наука Москва
, с. 435-444
2002
Выдающийся выпускник Московского университета
Адян С.И.
,
Успенский В.А.
в сборнике
Историко-математические исследования. Вторая серия
, серия
Историко-математические исследования
, место издания
Янус-К Москва
, том 7, с. 160-165
2001
Why Kolmogorov Complexity?
Uspensky Vladimir A.
в сборнике
Complex Systems
, серия
Nonlinear Phenomena and Complex Systems
, место издания
Springer
, том 6, с. 201-260
DOI
2000
Арифметика вычетов и криптография
Успенский Владимир Андреевич
в сборнике
Современное естествознание. Энциклопедия: В 10 томах. Том 3. Математика. Механика
, серия
Современное естествознание
, место издания
Магистр-Пресс Москва
, том 3, с. 27-32
1999
"...Их имена неотделимы..."
Успенский Владимир Андреевич
в сборнике
Историко-математические исследования. Вторая серия
, серия
Историко-математические исследования
, место издания
Янус-К Москва
, том 4, с. 185-188
1997
Mathematical logic in the former Soviet Union: Brief history and current trends
Uspensky Vladimir A.
в сборнике
Logic and Scientific Method
, серия
Synthese Library
, место издания
Springer Dordrecht
, том 259, с. 457-483
DOI
1996
Kolmogorov complexity: Recent research in Moscow
Uspensky Vladimir A.
в сборнике
Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 1113, с. 156-166
DOI
1994
Диагностические пропозициональные формулы
Успенский В.А.
,
Плиско В.Е.
в сборнике
Фундаментальные проблемы математики и механики. Математика
, место издания
Издательство МГУ г. Москва
, с. 283-285
1993
Kolmogorov’s Algorithms or Machines
Uspensky Vladimir
,
Semenov Alexei
в сборнике
Selected Works of A. N. Kolmogorov. Vol. III. Information Theory and the Theory of Algorithms
, серия
Math. Appl. (Soviet Ser.)
, издательство
Kluwer Academic Pubishers
(Dordrecht, Netherlands)
, том 27, с. 251-260
DOI
редактор
Ширяев Альберт Николаевич
1993
To the definition of algorithms
Uspensky V.A.
,
Kolmogorov A.N.
в сборнике
Selected Works of A. N. Kolmogorov. Vol. III. Information Theory and the Theory of Algorithms
, серия
Math. Appl. (Soviet Ser.)
, издательство
Kluwer Academic Pubishers
(Dordrecht, Netherlands)
, том 27, с. 62-85
DOI
редактор
Ширяев Альберт Николаевич
1992
Complexity and entropy: An introduction to the theory of Kolmogorov complexity
Uspensky Vladimir A.
в сборнике
Kolmogorov Complexity and Computational Complexity
, серия
EATCS Monographs on Theoretical Computer Science
, место издания
Springer
, с. 85-102
DOI
1992
Математическая логика и теория алгоритмов на механико-математическом факультете МГУ
Колмогоров А.Н.
,
Адян С.И.
,
Драгалин А.Г.
,
Кузичев А.С.
,
Ногина Е.Ю.
,
Семенов А.Л.
,
Успенский В.А.
в сборнике
Математика в Московском университете
, место издания
Изд. Московского унив Москва
, с. 128-155
1991
Intuitionistic logic
Uspenskii V.A.
,
Plisko V.E.
в сборнике
Selected Works of A.N. Kolmogorov: Mathematics and Mechanics. V.M. Tikhomirov (Editor)
, место издания
Kluwer Academic Pub Dordrecht, Netherlands ; Boston ; London, Netherlands
, с. 452-465
1989
Introducton to the School Project of the Soviet Academy of Sciences
Alexei Semenov
,
Uspensky Vladimir A.
,
Anna Polivanova
в сборнике
Education for Global Citizenship in the 21st Century. Explorations by the USSR and the USA. Proceedings of a Soviet/American Converence on Education. Oct 31 - Nov 2, 1989. Monkato State University
, место издания
Monkato, Minnesota USA
, с. 27-40
1987
Алгоритмы, или машины Колмогорова
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
в сборнике
А.Н. Колмогоров. Теория информации и теория алгоритмов. Избранные труды
, место издания
Наука
, с. 279-289
редактор
Ширяев Альберт Николаевич
1987
Семь размышлений на темы философии математики
Успенский Владимир Андреевич
в сборнике
Закономерности развития современной математики. Методологические проблемы
, место издания
Наука Москва
, с. 106-154
1985
Интуиционистская логика
Успенский В.А.
,
Плиско В.Е.
в сборнике
А.Н. Колмогоров. Избранные труды. Математика и механика
, издательство
Наука
(М.)
, с. 394-404
1982
Что такое парадокс?
Успенский Владимир Андреевич
в сборнике
Finitis duodecim lustris. Сборник статей к 60-летию проф. Ю. М. Лотмана
, место издания
Таллин
, с. 159-162
1981
What are the gains of the theory of algorithms: Basiс developments connected with the concept of algorithm and with its application in mathematics
Uspensky Vladimir
,
Semenov Alexei
в сборнике
Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 122, с. 100-234
DOI
1977
Алгоритм
Успенский Владимир Андреевич
в сборнике
Математическая энциклопедия
, серия
Математическая энциклопедия
, место издания
Советская энциклопедия Москва
, том 1, с. 202-206
1977
Алгоритмов теория
Успенский Владимир Андреевич
в сборнике
Математическая энциклопедия
, серия
Математическая энциклопедия
, место издания
Советская энциклопедия Москва
, том 1, с. 226-229
1977
К понятию диатезы
Успенский Владимир Андреевич
в сборнике
Проблемы лингвистической типологии и структуры языка
, место издания
Наука Ленинград
, с. 65-84
редактор
Храковский В.С.
1975
Замечания на полях статей И. А. Мельчука и А. А. Холодовича о поняти залога
Успенский Владимир Андреевич
в сборнике
Диатезы и залоги: Тезисы конференции «Структурно-типологические методы в синтаксисе разносистемных языков» (21-23 октября 1975 г.)
, место издания
Изд-во АН СССР Ленинград
, с. 3-14
1960
Логико-математические проблемы создания машинного языка для информационной машины
Успенский Владимир Андреевич
в сборнике
Сообщения лаборатории электромоделирования
, том 1, с. 5-28
Книги
2017
Kolmogorov complexity and algorithmic randomness
Shen A.
,
Uspensky V.A.
,
Vereshchagin N.
издательство
AMS Press
(United States)
, ISBN 978-1-4704-3182-2, 511 с.
2017
Апология математики
Успенский Владимир Андреевич
место издания
Альпина Нон-фикшн Москва
, ISBN 978-5-91671-735-8, 622 с.
2015
Некоторые приложения механики к математике, Изд. 2-е, испр. и доп
Успенский Владимир Андреевич
место издания
Ленанд Москва
, ISBN 978-5-9710-1235-1, 56 с.
2015
Предисловие к математике
Успенский В.А.
место издания
Амфора Москва
, ISBN 978-5-367-03606-0, 480 с.
2015
Треугольник Паскаля
Успенский В.А.
место издания
Ленанд Москва
, ISBN 978-5-9710-1800-1, 56 с.
2014
Труды по НЕматематике, 2-е издание. В пяти книгах. Книга 2: Философия
Успенский Владимир Андреевич
место издания
ОГИ, Фонд "Математические этюды" Москва
, ISBN 978-5-94282-674-1 (общий), 978-5-94282-676-5 (книга 2), 566 с.
2013
Колмогоровская сложность и алгоритмическая случайность
Верещагин Н.К.
,
Успенский В.А.
,
Шень А.
место издания
МЦНМО Москва
, 576 с.
2013
Труды по НЕматематике, 2-е издание. В пяти книгах. Книга 3. Языкознание
Успенский Владимир Андреевич
место издания
ОГИ, Фонд "Математические этюды" Москва
, ISBN 978-5-94282-674-1 (общий), 978-5-94282-677-2 (книга 3), 711 с.
2012
Труды по НЕматематике, 2-е издание. В пяти книгах. Книга 4. Филология (с приложением «Семиотических посланий» А. Н. Колмогорова)
Успенский Владимир Андреевич
место издания
ОГИ, Фонд "Математические этюды" Москва
, ISBN 978-5-94282-674-1 (общий), 978-5-94282-678-9 (книга 4), 591 с.
2011
Математическое и гуманитарное: преодоление барьера
Успенский Владимир Андреевич
место издания
Издательство МЦНМО Москва
, ISBN 978-5-94057-754-6, 48 с.
2009
Апология математики
Успенский Владимир Андреевич
место издания
Амфора Москва
, ISBN 978-5-367-00689-6, 560 с.
2009
Простейшие примеры математических доказательств
Успенский Владимир Андреевич
место издания
Издательство МЦНМО Москва
, ISBN 978-5-94057-492-7, 56 с.
2009
Четыре алгоритмических лица случайности, 2-е издание
Успенский Владимир Андреевич
место издания
Издательство МЦНМО Москва
, ISBN 978-5-94057-485-9, 48 с.
2004
Вводный курс математической логики
Успенский В.А.
,
Верещагин Н.К.
,
Плиско В.Е.
место издания
Наука Москва
, 136 с.
2004
Математические беседы, 2-е издание
Успенский Владимир Андреевич
,
Дынкин Евгений Борисович
место издания
ФизМатЛит Москва
, ISBN 5-9221-0369-5, 240 с.
2002
Вводный курс математической логики
Успенский В.А.
,
Верещагин Н.К.
,
Плиско В.Е.
место издания
Физматлит Москва
, ISBN 5-9221-0278-8, 128 с.
2002
Труды по НЕматематике, 1-е изд., в двух томах (с приложением семиотических посланий А. Н. Колмогорова к автору и его друзьям)
Успенский Владимир Андреевич
место издания
ОГИ Москва
, ISBN 978-5-94282-087-9 (т.1), 978-5-94282-088-6 (т.2), 1409 с.
2001
Что такое аксиоматический метод? 2-е издание
Успенский Владимир Андреевич
место издания
РХД Ижевск
, ISBN 5-7029-0337-4, 96 с.
1993
Algorithms: Main Ideas and Applications
Uspensky Vladimir
,
Semenov Alexei
издательство
Kluwer Academic Pubishers
(Dordrecht, Netherlands)
, ISBN 978-90-481-4256-9, 269 с.
1988
Машина Поста, издание 2-е, переработанное
Успенский Владимир Андреевич
место издания
Наука Москва
, 98 с.
1987
В.А. Успенский. Что такое нестандартный анализ? М.:Наука, 1987. 128 с
Успенский В.А.
издательство
Наука
(М.)
, 128 с.
1987
Теория алгоритмов: основные открытия и приложения
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
место издания
Наука Москва
, 288 с.
1987
Что такое нестандартный анализ?
Успенский Владимир Андреевич
место издания
Наука Москва
, 128 с.
1982
Теорема Гёделя о неполноте
Успенский Владимир Андреевич
место издания
Наука Москва
, 111 с.
1979
Треугольник Паскаля, 2-е издание, дополненное
Успенский Владимир Андреевич
место издания
Наука Москва
, 48 с.
1960
Лекции о вычислимых функциях
Успенский Владимир Андреевич
место издания
ГИФМЛ Москва
, 492 с.
1958
Некоторые приложения механики к математике
Успенский Владимир Андреевич
место издания
Физматгиз Москва
, 50 с.
1952
Математические беседы
Успенский Владимир Андреевич
,
Дынкин Евгений Борисович
место издания
ГТТИ Москва
, 288 с.
Доклады на конференциях
2017
О понятии исчисления
(Устный)
Авторы:
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
Ломоносовские чтения - 2017
, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
2014
The Lattice of Definability. Origins, Recent Developments, and Further Directions
(Пленарный)
Авторы:
Semenov A.
,
Uspensky V.
,
Soprunov S.
CSR 2014: The 9th International Computer Science Symposium in Russia, Moscow, June 6-12, 2014.
, Москва, Россия, 2014
НИРы
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
Кафедра математической логики и теории алгоритмов
Руководители:
Семенов А.Л.
,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.
,
Пентус М.Р.
Участники НИР:
Адян С.И.
,
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Любецкий В.А.
,
Плиско В.Е.
,
Семенов А.Л.
,
Сорокин А.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 января 2014 - 31 декабря 2016
Модальные и лингвистические аспекты математической логики
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Золин Е.Е.
,
Коновалов А.Ю.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Пентус М.Р.
,
Плиско В.Е.
,
Чистякова Р.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 января 2011 - 31 декабря 2015
Алгоритмические и семантические вопросы математической логики
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Золин Е.Е.
,
Кузнецов С.Л.
,
Плиско В.Е.
,
Сорокин А.А.
,
Шехтман В.Б.
1 января 2011 - 31 декабря 2015
Исследование логических проблем информатики
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Золин Е.Е.
,
Крупский В.Н.
,
Пентус М.Р.
,
Яворская Т.Л.
1 января 2011 - 31 декабря 2013
Математические проблемы логической семантики неклассических дедуктивных систем
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Золин Е.Е.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Пентус М.Р.
,
Плиско В.Е.
,
Чистякова Р.А.
,
Шамканов Д.С.
,
Шехтман В.Б.
,
Яворская Т.Л.
Участие в редколлегии журналов
с 1 января 1995
Фундаментальная и прикладная математика
издательство
Интуит
(М.)
http://mech.math.msu.su/~fpm/eng/efpmosn.htm
Участие в редколлегии сборников
1989
Семиотические исследования
член редколлегии:
Успенский В.А.
серия
Вопросы кибернетики
, том 159
место издания
Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР Москва
1988
Проблемы разработки формальной модели языка
член редколлегии:
Успенский В.А.
серия
Вопросы кибернетики
, том 137
место издания
Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР, Москва
Членство в диссертационных советах
12 мая 2006 - 31 августа 2017
Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Руководство диссертациями
2005
О решениях функциональных уравнений в некоторых разрешимых теориях
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Шлепаков С.П.
Научные руководители:
Успенский В.А.
, д.ф.-м.н., проф.,
Крупский В.Н.
, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
2002
Модальные логики с оператором разрешимости
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Золин Евгений Евгеньевич
, к.ф.-м.н., МГУ имени М.В. Ломоносова
Научные руководители:
Артемов Сергей Николаевич
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова,
Успенский Владимир Андреевич
, д.ф.-м.н., проф.
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Ведущая организация:
Новосибирский государственный университет
Оппоненты:
Чагров Александр Васильевич
,
Хаханян Валерий Христофорович
1985
Логико-семантический анализ лексики естественного языка (на примере глаголов с пропозициональным актантом, перформативных глаголов и качественных прилагательных).
Кандидатская диссертация по специальности 10.02.21 – Структурная, прикладная и математическая лингвистика (филол. науки)
Автор:
Разлогова Елена Эмильевна
, д.фил.н., МГУ имени М.В. Ломоносова
Научный руководитель:
Успенский В.А.
, д.ф.-м.н., проф.
Защищена в совете
-
при -
Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствам
Не подтверждена
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Соискатель:
Кановей Владимир Григорьевич
Научный руководитель:
Успенский Владимир Андреевич
, д.ф.-м.н., проф.
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
1972
Измеримость и наличие совершенного ядра у проективных множеств
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Любецкий Василий Александрович
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Научный руководитель:
Успенский Владимир Андреевич
, д.ф.-м.н., проф.
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Диссертация
1963
Лекции о вычислимых функциях
Докторская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Успенский Владимир Андреевич
, д.ф.-м.н., проф.
Защищена в совете
Д 003.015.02
при ИМ СО РАН
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова, механико-математический факультет
Ведущая организация:
Киевский государственный университет
Оппоненты:
Колмогоров Андрей Николаевич
,
Мальцев Анатолий Иванович
,
Новиков Петр Сергеевич
,
Трахтенброт Борис Авраамович
Руководство дипломными работами
2017
Об упаковке нечетных путей в неориентированных графах
Научные руководители:
Успенский Владимир Андреевич
,
Бабенко Максим Александрович
Автор: Великанов Дмитрий Михайлович (Специалист)
2015
О свойстве компактности древесных расстояний
Научные руководители:
Успенский Владимир Андреевич
,
Бабенко Максим Александрович
Автор: Фёдоров Сергей Дмитриевич (Специалист)
2015
О некоторых мультипотоковых задачах в неориентированных сетях
Научные руководители:
Успенский Владимир Андреевич
,
Бабенко Максим Александрович
Автор: Садков Виктор Александрович (Специалист)
2002
О сложности фрагментов логики доказательств LP
Научный руководитель:
Успенский Владимир Андреевич
Автор: Крупский Николай Владимирович (Специалист)
2000
О сложности операторных модальных логик
Научный руководитель:
Успенский Владимир Андреевич
Автор: Кузнец Роман Михайлович (Специалист)
1998
Системы перечислимых множеств и их нумерации
Научный руководитель:
Успенский Владимир Андреевич
Автор: Дерягин Дмитрий Георгиевич (Специалист)
1998
К теоремам Гёделя о неполноте
Научный руководитель:
Успенский Владимир Андреевич
Автор: Акимов Алексей Алексеевич (Специалист)
1998
Два дополнения к понятию «Система синтаксических групп»
Научный руководитель:
Успенский Владимир Андреевич
Автор: Вольфсон Андрей Семенович (Специалист)
1996
Свойства конструктивных объектов, выразимые через колмогоровскую сложность
Научный руководитель:
Успенский Владимир Андреевич
Автор: Посицельский Семен Ефимович (Специалист)
1996
Оценка количества пересылок при быстрой корректировке слабо испорченных файлов
Научный руководитель:
Успенский Владимир Андреевич
Автор: Семенова М. А. (Специалист)
1995
Об эффективности свойства гиперконечности
Научные руководители:
Успенский Владимир Андреевич
,
Кановей Владимир Григорьевич
Автор: Истлентьев Михаил Вячеславович (Специалист)
1995
Борелевская аппроксимация над гиперконечным пространством
Научные руководители:
Успенский Владимир Андреевич
,
Кановей Владимир Григорьевич
Автор: Шалунов Станислав (Специалист)
1994
Об ультрафильтрах и предикате относительной стандартности в теории ограниченных множеств
Научные руководители:
Успенский Владимир Андреевич
,
Кановей Владимир Григорьевич
Автор: Андреев Петр Вадимович (Специалист)
1984
Некоторые оценки сложности вычислений для одноленточных машин Тьюринга с записью на ленте
Научные руководители:
Успенский Владимир Андреевич
,
Семёнов Алексей Львович
Автор: Митина О.В. (Специалист)
1973
О мощности баз ультрафильтров на алгебре подмножеств натурального ряда
Научный руководитель:
Успенский Владимир Андреевич
Автор: Кановей Владимир Григорьевич (Специалист)
Авторство учебных курсов
2014
Что такое число?
Авторы:
Семёнов Алексей Львович
,
Успенский Владимир Андреевич
,
Яворская Татьяна Леонидовна
,
Золин Евгений Евгеньевич
2000
Аксиоматический метод
Автор:
Успенский В.А.
Выступление в СМИ
15 июня 2011 г.
О математике как части культуры и проблеме Пуанкаре
(Премия "Просветитель")
Автор (участник):
Успенский Владимир Андреевич
4 июля 2006 г.
Вспоминая Колмогорова
(Научный кружок)
Автор (участник):
Успенский Владимир Андреевич