Литмир - Электронная Библиотека
Литмир - Электронная Библиотека > Лавров Игорь Андреевич

Лавров Игорь Андреевич

Страница автора на языке: Русский
Средняя оценка книг:
Пол: мужской
Дата рождения: 1937
Дата смерти: 2011
Мой статус автора:
Выбрать действие для автора  
Об авторе:


 



Лавров Игорь Андреевич был ведущим научным сотрудником отдела «Теоретической информатики» ИСП РАН, специалистом в области математической логики и теории алгоритмов. Основные направления его исследований: элементарные теории, рекурсивные функции, сводимости, степени неразрешимости, рекурсивно перечислимые множества, обобщения понятия вычислимости и др.



Автор более 50 работ в области математической логики и теории алгоритмов. Совместно с Максимовой Л.Л. написал "Задачи по теории множеств, математической логике и теории алгоритмов". Книга выдержала пять изданий на русском языке, а также была переведена на английский, венгерский и польский языки.



Игорь Андреевич выставил на сайт ИСП РАН обширную библиографию по "Общей теории вычислимости", включающей информацию о более, чем 3000 книг и научных статей по данной тематике, в том числе более 800 на русском языке.

Название книгиНазвание книгиОценкаОценкаКол-во оценокCтатусДата добавленияAdd time stampЖанрСтр./Год/ЯзыкСтраницСерияГодЯзыкДобавил
Задачи по теории множеств, математической логике и теории алгоритмов0 (0) 0010.09.2015,
08:19
1441869595Учебная и научная литература0/-/RU0RU
{"id":"110562","o":50}