На главную
Владимир Андреевич Успенский: ученики
- Нгуен Хыу Нгы (Ngu Huu Nguen) (к.ф.-м.н.)
Кандидатская диссертация: О последовательностях состояний машин Тьюринга (1965)
- Эдуард Данилович Стоцкий (к.ф.-м.н.)
Кандидатская диссертация: Об одном обобщении порождающих грамматик (1969)
- Елена Юрьевна Ногина (к.ф.-м.н.)
Кандидатская диссертация: Об эффективно топологических пространствах (1970)
- Владимир Александрович Душский (к.ф.-м.н.)
Кандидатская диссертация: О сложности алгоритмической структуры классов множеств (1971)
- Василий Александрович Любецкий (д.ф.-м.н.)
Кандидатская диссертация: Измеримость и наличие совершенного ядра у проективных множеств (1972)
Докторская диссертация: Оценки и пучки: теоремы переноса (1991)
- Валерий Егорович Плиско (к.ф.-м.н.)
Кандидатская диссертация: Рекурсивная реализуемость и конструктивная логика предикатов (1974)
- Владимир Вячеславович Вьюгин (д.ф.-м.н.)
Кандидатская диссертация: О структуре верхних полурешеток вычислимых нумераций (1975)
Докторская диссертация: Применение колмогоровской теории алгоритмической сложности к логическим основам теории вероятностей (2001)
- Леонид Васильевич Шабунин (к.ф.-м.н.)
Кандидатская диссертация: Некоторые массовые проблемы исчислений чистой комбинаторной логики (1975)
- Мария Владимировна Ломковская (к.ф.-м.н.)
Кандидатская диссертация: Грамматики с нелокальными контекстными условиями (1976)
- Георг Колев Гаргов (George Gargov, 1947–1996) (к.ф.-м.н.)
Кандидатская диссертация: Математические свойства некоторых формальных систем интуиционистского анализа (1976)
Второй научный руководитель: Альберт Григорьевич Драгалин
- Владимир Григорьевич Кановей (д.ф.-м.н.)
Кандидатская диссертация: Непротиворечивость некоторых предложений дескриптивной теории множеств, утверждающих существование объектов с парадоксальными свойствами (1976)
Докторская диссертация: О некоторых проблемах дескриптивной теории множеств и теории типов (1985)
- Сергей Федорович Сопрунов (к.ф.-м.н.)
Кандидатская диссертация: О нестандартной арифметике (1978)
- Владимир Христов Сотиров (Vladimir Sotirov) (к.ф.-м.н.)
Кандидатская диссертация: Модальные теории с интуиционистской логикой (1979)
Второй научный руководитель: Альберт Григорьевич Драгалин
- Дмитрий Павлович Скворцов (к.ф.-м.н.)
Кандидатская диссертация: Об интерпретации пропозициональных и предикатных формул через конечные и бесконечные задачи (1980)
- Валерий Арамович Варданян (к.ф.-м.н.)
Кандидатская диссертация: Об одной пропозициональной логике с дополнительными операторами (1982)
- Борисас Леонардович Будинас (к.ф.-м.н.)
Кандидатская диссертация: О принципе селектора и об аналитической определимости точек пространства Бэра (1982)
- Яким Михайлович Другуш (к.ф.-м.н.)
Кандидатская диссертация: Суперинтуиционистские логики, моделируемые древовидными множествами (1982)
- Владимир Николаевич Крупский (к.ф.-м.н.)
Кандидатская диссертация: О сложности проблемы приближений для точек метрического пространства (1983)
- Александр Ханевич Шень (к.ф.-м.н.)
Кандидатская диссертация: Алгоритмические варианты понятия энтропии (1985)
- Александр Анатольевич Шум (к.ф.-м.н.)
Кандидатская диссертация: Пропозициональные исчисления и относительные многообразия алгебраических систем (1985)
- Николай Константинович Верещагин (д.ф.-м.н.)
Кандидатская диссертация: Алгоритмические проблемы для линейно рекуррентных последовательностей (1986)
Докторская диссертация: Релятивизируемость в структурной теории сложности вычислений (1995)
- Андрей Александрович Кузичев (к.ф.-м.н.)
Кандидатская диссертация: О способах представления формальной арифметики в комбинаторно полных системах (1986)
- Николай Анатольевич Панкратьев (к.ф.-м.н.)
Кандидатская диссертация: Об исчислении предикатов и арифметике с оператором доказуемости (1990)
Второй научный руководитель: Сергей Николаевич Артёмов
- Евгений Евгеньевич Золин (к.ф.-м.н.)
Кандидатская диссертация: Модальные логики с оператором разрешимости (2002)
Второй научный руководитель: Сергей Николаевич Артёмов
- Николай Владимирович Крупский (к.ф.-м.н.)
Кандидатская диссертация: Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов (2006)
Были использованы материалы веб-страницы:
В.А.Успенский на сайте проекта «Математическая генеалогия»