Кафедра математической логики и теории алгоритмов

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

Владимир Андреевич Успенский подготовил 25 кандидатов и 4 докторов наук:

  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)


Были использованы материалы веб-страницы:
В.А.Успенский на сайте проекта «Математическая генеалогия»


Назад на сайт В. А. Успенского