Пошуковий запит: (<.>U=В127$<.>) |
Загальна кількість знайдених документів : 111
Представлено документи з 1 до 20
|
| |
1. ![](/irbis_nbuv/images/printer.jpg) | ДС44865 Булитко, Валерий Константинович. Алгоритмические сводимости по разрешимости и критерии полноты множеств [Текст] : дис...д-ра физ.-мат.наук / Булитко Валерий Константинович ; ОГУ им. И.И.Мечникова. - О., 1992. - 277 л. - л.:272-277Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: ОГУ имени И. И. Мечникова
Видання зберігається у :
Основний фонд
|
2. ![](/irbis_nbuv/images/printer.jpg) | ДС91767 Беляев, Владимир Николаевич. m-сводимость с информационными ограничениями [Текст] : дис... канд. физ.-мат. наук: 01.01.08 / Беляев Владимир Николаевич ; Одесский национальный ун-т им. И.И.Мечникова. - О., 2005. - 112 с. - Библиогр.: л. 108-112Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Одесский национальный университет имени И. И. Мечникова
Видання зберігається у :
Основний фонд
|
3. ![](/irbis_nbuv/images/printer.jpg) | ДС57751 Суржко, Сергей Васильевич. Интерпретационные методы в теории алгоритмических алгебр [Текст] : дис... д-ра физ.-мат. наук: 01.05.01 / Суржко Сергей Васильевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1996. - 192 л. + прил. - л. 179-192Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
4. ![](/irbis_nbuv/images/printer.jpg) | ДС59896 Маранджян, Грант Бабкенович. Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
5. ![](/irbis_nbuv/images/printer.jpg) | ДС71126 Вербицкий, Олег Васильевич. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения [Текст] : дис...канд. физ.-мат. наук: 01.01.06 / Вербицкий Олег Васильевич ; Московский гос. ун-т им. М.В.Ломоносова. - М., 1994. - 73 л. - Библиогр.:л.69-73Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Московский гос. университет имени М. В. Ломоносова
Видання зберігається у :
Основний фонд
|
6. ![](/irbis_nbuv/images/printer.jpg) | ДС97618 Карнаух, Тетяна Олександрівна. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : дис... канд. фіз.-мат. наук: 01.01.08 / Карнаух Тетяна Олександрівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 188 арк. - арк. 146-150Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
7. ![](/irbis_nbuv/images/printer.jpg) | ДС100189 Вербіцький, Олег Васильович. Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київ. нац. ун-т ім. Тараса Шевченка. Мех.-мат. фак., Ін-т приклад. пробл. механіки і математики ім. Я. С. Підстригача НАН України. - К., 2006. - 292 арк. - Бібліогр.: арк. 272-292.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка. Механіко-математичний факультет; Національна академія наук України; Інститут прикладних проблем механіки і математики імені Я. С. Підстригача (Львів)
Видання зберігається у :
Основний фонд
|
8. ![](/irbis_nbuv/images/printer.jpg) | РА293553 Мощенский, Владимир Андреевич. Обобщенный метод "нитей" и его некоторые применения [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.05.01 / Мощенский Владимир Андреевич ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К., 1995. - 32 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
9. ![](/irbis_nbuv/images/printer.jpg) | РА301190 Беклемишев, Лев Дмитриевич. Схемы рефлексии в формальной арифметике [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.01.06 / Беклемишев Лев Дмитриевич ; РАН, Математический ин-т им. В.А.Стеклова. - М., 1998. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Математический институт имени В. А. Стеклова; РАН; Математический институт имени В. А. Стеклова
Видання зберігається у :
Основний фонд
|
10. ![](/irbis_nbuv/images/printer.jpg) | РА293453 Суржко, Сергій Васильович. Інтерпретаційні методи в теорії алгоритмічних алгебр [Текст] : автореф. дис... д-ра фіз.- мат. наук: 01.05.01 / Суржко Сергій Васильович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1996. - 35 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
|
11. ![](/irbis_nbuv/images/printer.jpg) | РА339824 Карнаух, Тетяна Олександрівна. Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.01.08 / Карнаух Тетяна Олександрівна ; Київський національний ун-т ім. Тараса Шевченка. - К., 2005. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
12. ![](/irbis_nbuv/images/printer.jpg) | РА341968 Бєляєв, Володимир Миколайович. ем-звідність з інформаційними обмеженнями [Текст] : автореф. дис... канд. фіз.-мат. наук: 01.01.08 / Бєляєв Володимир Миколайович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2006. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
|
13. ![](/irbis_nbuv/images/printer.jpg) | РА344210 Маркарян, Ваган Константинович. Исследование неподвижных точек рекурсивных операторов [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Маркарян Ваган Константинович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2006. - 15 с. Описано по переводу. - Текст на арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
14. ![](/irbis_nbuv/images/printer.jpg) | РА349180 Вербіцький, Олег Васильович. Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 35 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
15. ![](/irbis_nbuv/images/printer.jpg) | РА303408 Каратабанова, Сорейя Жубаниязовна. Нижние оценки алгоритмической сложности и структура семантических классов предложений [Текст] : автореф. дис... канд. физ.-тех. наук: 01.01.06 / Каратабанова Сорейя Жубаниязовна. - Алматы, 1999. - 18 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
16. ![](/irbis_nbuv/images/printer.jpg) | РА352369 Саядян, Сергей Мушегович. Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
17. ![](/irbis_nbuv/images/printer.jpg) | Р80391 Сабельфельд, В. К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности [Текст] / В. К. Сабельфельд. - Новосибирск : [б.в.], 1994. - 42 с. - (Препр. / РАН. СО, Институт систем информатики ; 26)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: РАН. СО; Институт систем информатики
Видання зберігається у :
Основний фонд
|
18. ![](/irbis_nbuv/images/printer.jpg) | ВА584981 Лиман, Федір Миколайович. Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для студ. фіз.-мат. спец. пед. вузів / Ф. М. Лиман ; Ін-т змісту і методів навчання. - Суми : Слобожанщина, 1998. - 152 с. - ISBN 966-535-022-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Інститут змісту і методів навчання (Київ)
Видання зберігається у :
Основний фонд
|
19. ![](/irbis_nbuv/images/printer.jpg) | ВС32287 Марков, Андрей Андреевич. Теория алгорифмов [Текст] / А. А. Марков, Нагорный Николай Макарович. - 2.изд., испр. и доп. - М. : Фазис, 1996. - 448 с. - ISBN 5-7036-0020-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Нагорный Николай Макарович
Видання зберігається у :
|
20. ![](/irbis_nbuv/images/printer.jpg) | ВА576572 Алгоритмічні алгебри [Текст] : навч. посіб. / К. Л. Ющенко [та ін.] ; Ін-т змісту і методів навчання. - К. : [б.в.], 1997. - 480 с. - ISBN 5-7763-9094-XРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Ющенко, Катерина Логвіновна; Суржко, Сергій Васильович; Цейтлін, Георгій Офсійович; Шевченко, Анатолій Іванович; Інститут змісту і методів навчання (Київ)
Видання зберігається у :
|
| |