Адрес:
109004, г. Москва,
ул. А. Солженицына,
дом 25.
Факс:
+7(495) 912-15-24
E-mail:
Лавров Игорь Андреевич
Лавров Игорь Андреевич - ведущий научный сотрудник отдела «Теоретической информатики» ИСП РАН. Специалист в области математической логики и теории алгоритмов. Основные направления исследований - элементарные теории, рекурсивные функции, сводимости, степени неразрешимости, рекурсивно перечислимые множества, обобщения понятия вычислимости и др.
Автор более 50 работ в области математической логики и теории алгоритмов. Совместно с Максимовой Л.Л. написал "Задачи по теории множеств, математической логике и теории алгоритмов". Книга выдержала пять изданий на русском языке, а также была переведена на английский, венгерский, польский языки.
В настоящее время Игорь Андреевич выставил на сайт ИСП РАН обширную библиографию по "Общей теории вычислимости", включающей информацию о более, чем 3000 книг и научных статей по данной тематике, в том числе более 800 на русском языке.