Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Поиск
Лавров И.А. ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ (библиография) Введение и правила пользования системой Навигация по авторам: Русские: А - Б - В - Г - Д - Е -Ж- З - И ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1970] Логика и алгоритмы Новосибирск, Из-во НГУ ? книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [2006] Математическая логика М., Академия 07.07.102 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1968] Ответ на один вопрос Янга Алгебра и логика, 7, № 2, 48-54 69.01.83 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1996] Об одном свойстве креативных множеств Алгебра и логика, 35 , № 3, 294-307 97.09.85 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1962] Неразрешимость элементарных теорий некоторых колец Алгебра и логика, 1, № 3, 39-45. 63.07.209 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [2007] Сложность вычислений на абстрактных машинах Тр. Института системного программирования РАН, т.12, 95-122 08.ВН4.75 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1974] Некоторые свойства ретрактов нумерации Поста Алгебра и логика, 13, № 6, 662-675 75.08.87 ES статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л., Лавров И.А. [1969] О вычислимых нумерациях, II Алгебра и логика, 8, № 1, 65-71 69.09.52 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов Ю.Л., Лавров И.А. [1973] Верхняя полурешетка L ( S ) Алгебра и логика, 12, № 2, 167-189 74.02.57 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1963] Эффективная неотделимость множества тождественно истинных формул и конечно опровержимых формул некоторых теорий Алгебра и логика,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А., Поляков Е.А. [1966] О базисах алгебр рекурсивных функций Сибирск. матем. журнал, 7, № 5, 1059-1067 67.06.52 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1979] Вычислимость частично рекурсивных функций и рекурсивно перечислимые множества в арифметике Пеано Сибирск. матем. журнал, 20, № 6, 1269-1274 ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1981] Теория нумераций Сб. Теория и практика программ. обеспеч. ЭВМ, Тр. сов.-фран. симп., 1978, ч.2, Новосибирск, 41-47 82.04.74 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. [1967] Использование арифметических прогрессий k -го порядка для построения базиса алгебры примитивно рекурсивных функций ДАН СССР, 172, № ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д., Лавров И.А. [1970] Полные нумерации с бесконечным числом особых элементов Алгебра и логика, 9, № 5, 503-509 71.04.57 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ершов.Ю.Л., Лавров И.А., Тайманов А.Д.., Тайцлин М.А. [1965] Элементарные теории Успехи мат. наук, 20, № 4, 37-108 67.04.90 EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров Игорь Андреевич (1937–2011) Лавров Игорь Андреевич ... ... специалистом в области математической логики и теории алгоритмов. Основные направления его... ... Книга выдержала пять изданий на русском языке, а также была переведена на английский, венгерский...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А., Максимова Л. Л. [1975] [1984] [2001] [2006] Задачи по теории множеств, математической логике и теории алгоритмов М., Наука (Имеются переводы на венгерский,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций. Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука, 8-12 78....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Л Лавров И. А. Лемпп С. Леонов М.Г. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.И. А. Лавров ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ (библиография) General Theory of Computability (bibliography) Поиск
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Lavrov I. A., Maksimova L. L. [2003] Problems in Set Theory, Mathematical Logic and Theory of algorithms Kluwer Academic/Plenum Publishers (Перевод книги Лавров И.А., Максимова Л. Л. “ Задачи по теории множеств, мат. логике и теории алгоритмов”, 2002.) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Лавров И.А. ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ (библиография) Цель создания подобной базы данных состоит в том, чтобы специалисты в различных направлениях ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.