Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Успенский В.А. [1982] Теорема Геделя о неполноте М., Наука (Имеется перевод на английский язык) 82.08.21 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1953] Теорема Геделя и теория алгоритмов Успехи мат. наук, 8, № 4, 176-178 ~ статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1982] Машина Поста М., Наука ? книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1960] Лекции о вычислимых функциях М., Физматгиз (Имеется перевод на французский язык.) 61.09.121 ROS книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1955] Системы перечислимых множеств и их нумерации ДАН СССР, 105, № 6, 1155-1158 57.4549 REOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1969] О сводимости вычислимых и потенциально вычислимых нумераций Мат. заметки, 6, № 1, 3-9 69.12.136 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1957] Несколько замечаний о перечислимых множествах Z. Math. Logik und Grundl. Math., 3 , № 2, 157-170 58.949 ROS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1956] Вычислимые операции и понятие программы Успехи мат. наук 11, № 4, 172-176 58.67 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1953] Теорема Геделя и теория алгоритмов ДАН СССР, 91, № 4, 737-740 54.2487 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1955] О вычислимых операциях ДАН СССР, 103 , № 5, 773-776 56.5682 REOSG статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А. [1957] К теореме о равномерной непрерывности Успехи мат. наук, 12, № 1, 99-142 58.5443 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Колмогоров А.Н., Успенский В.А. [1958] К определению алгоритма Успехи мат. наук, 13, № 4, 3-28 59.652 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Успенский В.А., Семенов А.Л. [1987] Теория алгоритмов: основные открытия и применения М., Наука (Имеется перевод на английский язык) 87.09.24 G книга Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.У Успенский В.А. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Ouspenski V.A. [2008] Lecons sur les fonctions calculables Paris, Hermann (Перевод книги В.А.Успенский "Лекции о вычислимых функциях", М., Физматгиз, 1960) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Uspensky V.A. [1994] Godel's incompleteness theorem Theor.Comput. Sci., 130, № 2, 239-319 (Перевод книги В.А.Успенский "Теорема Геделя о неполноте", М., Наука, 1982.) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Post E.L. [1936] Finite combinatory processes. Formulation, I J. Symbolic Logic, 1, № 3, 103-105 (Русский перевод в книге В.А.Успенского “ Машины Поста”, М., Наука, 1979, 83-88.) ~ ROS article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Uspensky V.A.,Semenov A.L. [1993] Algorithms: Main Ideas and Applications Kluwer Academic Publishers (Перевод книги Успенский В.А., Семенов А.Л. "Теория алгоритмов: основные открытия и применения", М., Наука, 1987.) ? book Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.