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