Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "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Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Успенский, Владимир Андреевич; Шень, Александр
Видання зберігається у :
Основний фонд
|
|
|