На главную

Владимир Андреевич Успенский: ученики

  1. Нгуен Хыу Нгы (Ngu Huu Nguen) (к.ф.-м.н.)
    Кандидатская диссертация: О последовательностях состояний машин Тьюринга (1965)
  2. Эдуард Данилович Стоцкий (к.ф.-м.н.)
    Кандидатская диссертация: Об одном обобщении порождающих грамматик (1969)
  3. Елена Юрьевна Ногина (к.ф.-м.н.)
    Кандидатская диссертация: Об эффективно топологических пространствах (1970)
  4. Владимир Александрович Душский (к.ф.-м.н.)
    Кандидатская диссертация: О сложности алгоритмической структуры классов множеств (1971)
  5. Василий Александрович Любецкий (д.ф.-м.н.)
    Кандидатская диссертация: Измеримость и наличие совершенного ядра у проективных множеств (1972)
    Докторская диссертация: Оценки и пучки: теоремы переноса (1991)
  6. Валерий Егорович Плиско (к.ф.-м.н.)
    Кандидатская диссертация: Рекурсивная реализуемость и конструктивная логика предикатов (1974)
  7. Владимир Вячеславович Вьюгин (д.ф.-м.н.)
    Кандидатская диссертация: О структуре верхних полурешеток вычислимых нумераций (1975)
    Докторская диссертация: Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей (2001)
  8. Леонид Васильевич Шабунин (к.ф.-м.н.)
    Кандидатская диссертация: Некоторые массовые проблемы исчислений чистой комбинаторной логики (1975)
  9. Мария Владимировна Ломковская (к.ф.-м.н.)
    Кандидатская диссертация: Грамматики с нелокальными контекстными условиями (1976)
  10. Георг Колев Гаргов (George Gargov, 1947–1996) (к.ф.-м.н.)
    Кандидатская диссертация: Математические свойства некоторых формальных систем интуиционистского анализа (1976)
    Второй научный руководитель: Альберт Григорьевич Драгалин
  11. Владимир Григорьевич Кановей (д.ф.-м.н.)
    Кандидатская диссертация: Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствами (1976)
    Докторская диссертация: О некоторых проблемах дескриптивной теории множеств и теории типов (1985)
  12. Сергей Федорович Сопрунов (к.ф.-м.н.)
    Кандидатская диссертация: О нестандартной арифметике (1978)
  13. Владимир Христов Сотиров (Vladimir Sotirov) (к.ф.-м.н.)
    Кандидатская диссертация: Модальные теории с интуиционистской логикой (1979)
    Второй научный руководитель: Альберт Григорьевич Драгалин
  14. Дмитрий Павлович Скворцов (к.ф.-м.н.)
    Кандидатская диссертация: Об интерпретации пропозициональных и предикатных формул через конечные и бесконечные задачи (1980)
  15. Валерий Арамович Варданян (к.ф.-м.н.)
    Кандидатская диссертация: Об одной пропозициональной логике с дополнительными операторами (1982)
  16. Борисас Леонардович Будинас (к.ф.-м.н.)
    Кандидатская диссертация: О принципе селектора и об аналитической определимости точек пространства Бэра (1982)
  17. Яким Михайлович Другуш (к.ф.-м.н.)
    Кандидатская диссертация: Суперинтуиционистские логики, моделируемые древовидными множествами (1982)
  18. Владимир Николаевич Крупский (к.ф.-м.н.)
    Кандидатская диссертация: О сложности проблемы приближений для точек метрического пространства (1983)
  19. Александр Ханевич Шень (к.ф.-м.н.)
    Кандидатская диссертация: Алгоритмические варианты понятия энтропии (1985)
  20. Александр Анатольевич Шум (к.ф.-м.н.)
    Кандидатская диссертация: Пропозициональные исчисления и относительные многообразия алгебраических систем (1985)
  21. Николай Константинович Верещагин (д.ф.-м.н.)
    Кандидатская диссертация: Алгоритмические проблемы для линейно рекуррентных последовательностей (1986)
    Докторская диссертация: Релятивизируемость в структурной теории сложности вычислений (1995)
  22. Андрей Александрович Кузичев (к.ф.-м.н.)
    Кандидатская диссертация: О способах представления формальной арифметики в комбинаторно полных системах (1986)
  23. Николай Анатольевич Панкратьев (к.ф.-м.н.)
    Кандидатская диссертация: Об исчислении предикатов и арифметике с оператором доказуемости (1990)
    Второй научный руководитель: Сергей Николаевич Артёмов
  24. Евгений Евгеньевич Золин (к.ф.-м.н.)
    Кандидатская диссертация: Модальные логики с оператором разрешимости (2002)
    Второй научный руководитель: Сергей Николаевич Артёмов
  25. Николай Владимирович Крупский (к.ф.-м.н.)
    Кандидатская диссертация: Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов (2006)
Были использованы материалы веб-страницы: В.А.Успенский на сайте проекта «Математическая генеалогия»