Search results

Лавров И.А. [1970] Логика и алгоритмы Новосибирск, Из-во НГУ ? книга Вернуться к поиску

Лавров И.А. [2006] Математическая логика М., Академия 07.07.102 книга Вернуться к поиску

Лавров И.А. [1968] Ответ на один вопрос Янга Алгебра и логика, 7, № 2, 48-54 69.01.83 OS статья Вернуться к поиску

Лавров И.А. [1996] Об одном свойстве креативных множеств Алгебра и логика, 35 , № 3, 294-307 97.09.85 статья Вернуться к поиску

Лавров И.А. [1962] Неразрешимость элементарных теорий некоторых колец Алгебра и логика, 1, № 3, 39-45. 63.07.209 статья Вернуться к поиску

Лавров И.А. [2007] Сложность вычислений на абстрактных машинах Тр. Института системного программирования РАН, т.12, 95-122 08.ВН4.75 статья Вернуться к поиску

Лавров И.А. [1974] Некоторые свойства ретрактов нумерации Поста Алгебра и логика, 13, № 6, 662-675 75.08.87 ES статья Вернуться к поиску

Ершов Ю.Л., Лавров И.А. [1969] О вычислимых нумерациях, II Алгебра и логика, 8, № 1, 65-71 69.09.52 E статья Вернуться к поиску

Ершов Ю.Л., Лавров И.А. [1973] Верхняя полурешетка L ( S ) Алгебра и логика, 12, № 2, 167-189 74.02.57 EOS статья Вернуться к поиску

Лавров И.А. [1963] Эффективная неотделимость множества тождественно истинных формул и конечно опровержимых формул некоторых теорий Алгебра и логика,...

Лавров И.А., Поляков Е.А. [1966] О базисах алгебр рекурсивных функций Сибирск. матем. журнал, 7, № 5, 1059-1067 67.06.52 статья Вернуться к поиску

Лавров И.А. [1979] Вычислимость частично рекурсивных функций и рекурсивно перечислимые множества в арифметике Пеано Сибирск. матем. журнал, 20, № 6, 1269-1274 ...

Лавров И.А. [1981] Теория нумераций Сб. Теория и практика программ. обеспеч. ЭВМ, Тр. сов.-фран. симп., 1978, ч.2, Новосибирск, 41-47 82.04.74 статья Вернуться к поиску

Лавров И.А. [1967] Использование арифметических прогрессий k -го порядка для построения базиса алгебры примитивно рекурсивных функций ДАН СССР, 172, № ...

Денисов С.Д., Лавров И.А. [1970] Полные нумерации с бесконечным числом особых элементов Алгебра и логика, 9, № 5, 503-509 71.04.57 E статья Вернуться к поиску

Ершов.Ю.Л., Лавров И.А., Тайманов А.Д.., Тайцлин М.А. [1965] Элементарные теории Успехи мат. наук, 20, № 4, 37-108 67.04.90 EOS статья Вернуться к поиску

Лавров И.А., Максимова Л. Л. [1975] [1984] [2001] [2006] Задачи по теории множеств, математической логике и теории алгоритмов М., Наука (Имеются переводы на венгерский,...

Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций. Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука, 8-12 78....

Л Лавров И. А. Лемпп С. Леонов М.Г. Вернуться на главную страницу

Lavrov I. A., Maksimova L. L. [2003] Problems in Set Theory, Mathematical Logic and Theory of algorithms Kluwer Academic/Plenum Publishers (Перевод книги Лавров И.А., Максимова Л. Л. “ Задачи по теории множеств, мат. логике и теории алгоритмов”, 2002.) ? book Вернуться к поиску

Igor Lavrov (1937–2011) Igor Lavrov – the leading research officer of Theoretical Information Department of Institute for System Programming of Russian Academy of Sciences (ISP RAS). He is a specialist in Mathematical Logic and Theory of Algorithms. His main directions of investigations are recursive functions, elementary theories, reducibilities, degrees of unsolvability, recursively enumerable sets, generalizations of complexity and so on. Igor Lavrov is the author of more then 50 works in mathematical...