 Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В127<.>) |
Загальна кількість знайдених документів : 13
Представлено документи з 1 до 13
|
1.  |
ДС44865
Булитко, Валерий Константинович.
Алгоритмические сводимости по разрешимости и критерии полноты множеств [Текст] : дис...д-ра физ.-мат.наук / Булитко Валерий Константинович ; ОГУ им. И.И.Мечникова. - О., 1992. - 277 л. - л.:272-277Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
ОГУ имени И. И. Мечникова
Видання зберігається у :
Основний фонд
| | 2. |
ДС91767
Беляев, Владимир Николаевич.
m-сводимость с информационными ограничениями [Текст] : дис... канд. физ.-мат. наук: 01.01.08 / Беляев Владимир Николаевич ; Одесский национальный ун-т им. И.И.Мечникова. - О., 2005. - 112 с. - Библиогр.: л. 108-112Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Одесский национальный университет имени И. И. Мечникова
Видання зберігається у :
Основний фонд
| | 3. |
РА341968
Бєляєв, Володимир Миколайович.
ем-звідність з інформаційними обмеженнями [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.01.08 / Бєляєв Володимир Миколайович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| | 4. |
РА344210
Маркарян, Ваган Константинович.
Исследование неподвижных точек рекурсивных операторов [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Маркарян Ваган Константинович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2006. - 15 с.
Описано по переводу. - Текст на арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
| | 5. |
ВС32287
Марков, Андрей Андреевич.
Теория алгорифмов [Текст] / А. А. Марков, Нагорный Николай Макарович. - 2.изд., испр. и доп. - М. : Фазис, 1996. - 448 с. - ISBN 5-7036-0020-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Нагорный Николай Макарович
Видання зберігається у :
| | 6. |
ВА603741
Бородянский, Юлий Матвеевич.
Размышления об алфавитных операторах и математической философии [Текст] / Ю. М. Бородянский. - К. : Лат и К, 2001. - 74 с. - Библиогр.: с. 71-72. - ISBN 966-95783-2-9Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 7. |
Р93373
Мавликасова, Г. Ч..
Некоторые вопросы обобщенной вычислимости [Текст] / Г. Ч. Мавликасова. - Омск : [б.и.], 2000. - 28 с.: ил. - (Препр. / Омский гос. ун-т ; №0003)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Омский гос. университет
Видання зберігається у :
Основний фонд
| | 8. |
Глушков В.М. ВА470
Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес ; пер. с нем. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис. - (Современная математика). - Бібліогр. в кінці розд.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Эббинхауз, Г.-Д.; Якобс, К.; Ман, Ф.-К.; Хермес, Г.; Белага, Э. Г. (пер.)
Видання зберігається у :
Основний фонд
| | 9. |
Глушков В.М./ВА603
Петер, Р.
Рекурсивные функции [Текст] / Р. Петер ; пер. с нем. В. А. Успенского ; под. ред. и с предисл. А. Н. Колмогорова. - М. : Изд-во иностранной литературы, 1954. - 264 с. - Пер. изд. : Rekursive Funktionen / Péter Rózsa. - Budapest, 1951Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Успенский, В. А. (пер.); Колмогоров, А. Н. (ред.); Péter, R.
Видання зберігається у :
Основний фонд
| | 10. |
Глушков В.М./ВА1031
Успенский, Владимир Андреевич.
Лекции о вычислимых функциях [Текст] / В. А. Успенский. - М. : Физматгиз, 1960. - 492 с. : табл. - (Математическая логика и основания математики). - Бібліогр.: с. 476-481. - 9000 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 11. |
Глушков В.М./СО2
 Мальцев, А. И.
Рекурсивные функции [Текст] / А. И. Мальцев. - Новосибирск : [б. и.], 1960. - 39 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| | 12. |
В275099/MАt.23
Vene, Varmo.
Categorical programming with inductive and coinductive types [Text] : diss. / V. Vene. - Tartu : Tartu University press, 2000. - 115 p.: fig. - (Dissertationes mathematicae Universitatis Tartuensis, ISSN 1024-4112 ; 23). - Бібліогр.: p.102-107. - ISBN 9985-56-514-2Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
| | 13. |
ВС54906
Верещагин, Николай Константинович.
Колмогоровская сложность и алгоритмическая случайность [Текст] / Н. К. Верещагин, В. А. Успенский, А. Шень. - М. : МЦНМО, 2013. - 575 с. : рис. - Бібліогр.: с. 546-558. - 400 прим. - ISBN 978-5-4439-0212-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Успенский, Владимир Андреевич; Шень, Александр
Видання зберігається у :
Основний фонд
|
|
|
Простий
Розширений
Пам`ятка користувача