- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Лавров Игорь Андреевич (1937–2011)
![ведущий научный сотрудник ИСП РАН, Лавров Игорь Андреевич](/images/persons/Lavrov.jpg)
Лавров Игорь Андреевич был ведущим научным сотрудником отдела «Теоретической информатики» ИСП РАН, специалистом в области математической логики и теории алгоритмов. Основные направления его исследований: элементарные теории, рекурсивные функции, сводимости, степени неразрешимости, рекурсивно перечислимые множества, обобщения понятия вычислимости и др.
Автор более 50 работ в области математической логики и теории алгоритмов. Совместно с Максимовой Л.Л. написал "Задачи по теории множеств, математической логике и теории алгоритмов". Книга выдержала пять изданий на русском языке, а также была переведена на английский, венгерский и польский языки.
Игорь Андреевич выставил на сайт ИСП РАН обширную библиографию по "Общей теории вычислимости", включающей информацию о более, чем 3000 книг и научных статей по данной тематике, в том числе более 800 на русском языке.