RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Лавров Игорь Андреевич
(1937–2011)

В базах данных Math-Net.Ru
Публикаций: 8
Научных статей: 4

Статистика просмотров:
Эта страница:708
Страницы публикаций:2998
Полные тексты:1082
Списки литературы:70
доцент
кандидат физико-математических наук (1963)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 24.05.1937
Ключевые слова: математическая логика, теория алгоритмов, рекурсивные функции, рекурсивно перечислимые множества.
Коды УДК: 510, 519.9, 510.5
Коды MSC: 03-XX, 03Fxx, 08-XX, 03Dxx

Основные темы научной работы

Доказана неразрешимость многих элементарных теорий, которые могут быть легко интерпретируемы в других теориях. Решен ряд проблем в теории нумераций. Найдены удобные характеристики для вычислимых нумераций. Доказан ряд новых свойств креативных множеств. Автор (совместно с Л. Л. Максимовой) популярной книги "Задачи по теории множеств, математической логике и теории алгоритмов" (имеется 4 издания на русском языке, имеются переводы на иностранные языки).

Научная биография:

Окончил физико-математический факультет Ивановского государственного педагогического института в 1959 г. Кандидатская диссертация — 1963 г. Имею около 50 научных публикаций.

   
Основные публикации:
  1. И. А. Лавров, Л. Л. Максимов, Задачи по теории множеств, математической логике и теории алгоритмов, Физматлит, М., 2001  mathscinet

http://www.mathnet.ru/rus/person9179
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/201408

Публикации в базе данных Math-Net.Ru
1. Вычислимо перечислимые множества и смежные вопросы
И. А. Лавров
Алгебра и логика, 50:6 (2011),  733–758
2. Общая теория вычислимости (база статей и книг)
И. А. Лавров
Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011),  58–63
3. Использование арифметических прогрессий $k$-го порядка для построения базисов алгебры примитивно-рекурсивных функций
И. А. Лавров
Докл. АН СССР, 172:2 (1967),  279–282
4. Элементарные теории
Ю. Л. Ершов, И. А. Лавров, А. Д. Тайманов, М. А. Тайцлин
УМН, 20:4(124) (1965),  37–108

5. Юрий Леонидович Ершов (к семидесятилетию со дня рождения)
А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк
УМН, 66:1(397) (2011),  201–204
6. Ершов Юрий Леонидович (к семидесятилетию со дня рождения)
С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семёнова
Владикавк. матем. журн., 12:2 (2010),  75–78
7. Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов
УМН, 55:6(336) (2000),  173–182
8. Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов
Владикавк. матем. журн., 2:2 (2000),  3–9

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018