|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Доктоp физико-мaтемaтических нaук (1964). Пpофессоp, заведующий кaфедpой мaтемaтической логики и теоpии aлгоpитмов мехaнико-мaтемaтического фaкультетa (1966). Читает курсы лекций "Введение в математическую логику", "Вычислимые функции", "Теорема Геделя о полноте". Подготовил 25 кандидатов и 2 докторов наук. Автор 95 научных работ. E-mail: uspensky@lpcs.math.msu.ru, uspensky@viniti.msk.su
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||