Пошуковий запит: (<.>U=В127.4$<.>) |
Загальна кількість знайдених документів : 19
Представлено документи з 1 до 19
|
|
| | | |
|
| 1. |
ДС59896
Маранджян, Грант Бабкенович.
Объемная сложность вычислимых объектов [Текст] : дис. в форме науч. докл... д-ра физ.-мат. наук: А.01.09 / Маранджян Грант Бабкенович ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 1999. - 69 с. - с. 60-69
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 2. |
ДС71126
Вербицкий, Олег Васильевич.
Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения [Текст] : дис...канд. физ.-мат. наук: 01.01.06 / Вербицкий Олег Васильевич ; Московский гос. ун-т им. М.В.Ломоносова. - М., 1994. - 73 л. - Библиогр.:л.69-73
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 3. |
ДС100189
Вербіцький, Олег Васильович.
Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київ. нац. ун-т ім. Тараса Шевченка. Мех.-мат. фак., Ін-т приклад. пробл. механіки і математики ім. Я. С. Підстригача НАН України. - К., 2006. - 292 арк. - Бібліогр.: арк. 272-292.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 4. |
РА301190
Беклемишев, Лев Дмитриевич.
Схемы рефлексии в формальной арифметике [Текст] : автореф. дис... д-ра физ.-мат. наук: 01.01.06 / Беклемишев Лев Дмитриевич ; РАН, Математический ин-т им. В.А.Стеклова. - М., 1998. - 18 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 5. |
РА349180
Вербіцький, Олег Васильович.
Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.01.08 / Вербіцький Олег Васильович ; Київський національний ун-т ім. Тараса Шевченка. - К., 2007. - 35 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 6. |
РА352369
Саядян, Сергей Мушегович.
Исследование сложностей выводов в системах неклассических логик [Текст] : автореф. дис... канд. физ.-мат. наук: 01.01.09 / Саядян Сергей Мушегович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2007. - 19 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 7. |
Р92100
Ворожцов, А. В..
Прогнозирование и теория сложности [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 17 с. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 18)
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 8. |
Р92101
Ворожцов, А. В..
Алгебраические методы определения сложности [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 20 с.: рис. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 17)
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 9. |
Р92103
Ворожцов, А. В..
Цепные дроби, сложность рациональных чисел и языки описания с бесконечным алфавитом [Текст] / А. В. Ворожцов. - М. : [б.и.], 2001. - 19 с.: рис. - (Препринт / Институт прикладной математики им. М.В.Келдыша РАН ; № 19)
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 10. |
Р93481
Сапоженко, Александр Антонович.
Некоторые вопросы сложности алгоритмов [Текст] : учеб. пособие по курсу "Основы кибернетики" / А. А. Сапоженко ; Московский гос. ун-т им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М. : Издательский отдел фак. ВМиК МГУ, 2001. - 46 с.: рис. - Библиогр.: с.45. - ISBN 5-89407-107-0
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 11. |
ВА648795
Панішев, Анатолій Васильович.
Вступ до теорії складності дискретних задач [Текст] / А. В. Панішев [и др.] ; Житомирський держ. технологічний ун-т. - Житомир : ЖДТУ, 2004. - 326 с.: рис. - Бібліогр.: с. 316-319. - ISBN 966-683-070-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 12. |
ВА649065
Ершов, Юрий Леонидович.
Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). - Библиогр.: с. 277-279. - ISBN 5-88119-007-6 (русск.). - ISBN 0-306-11039-3 (англ.)
Географічні рубрики:
Видання зберігається у :
Універсальний підсобний фонд
Основний фонд
| |
|
| | | |
|
| 13. |
Глушков В.М./ВА768
Трахтенброт, Б. А.
Сложность алгоритмов и вычислений [Текст] : спуцкурс для студ. НГУ / Б. А. Трахтенброт ; Новосиб. гос. ун-т. - Новосибирск : [НГУ], 1967. - 257 с. - Бібліогр.: с. 255-258. - 400 прим.
З дарч. написом В. М. Глушкову від авт.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 14. |
РА381471
Налбандян, Акоп Симонович.
Эффективность разновидностей правила подстановки для классических и неклассических логических систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Налбандян Акоп Симонович ; Ереван. гос. ун-т. - Ереван, 2011. - 18 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 15. |
ІВ194999
Stăpînirea complexităţii [Text] / coord. C. Calude. - Bucurest : Editura Acad. Române, 1993. - 232 p. - (Probleme globale ale omenirii). - Бібліогр.: s.225-228. - ISBN 973-27-0321-0. - ISBN 973-27-0320-2
Рубрики:
Видання зберігається у :
| |
|
| | | |
|
| 16. |
ІВ216445
Li, Ming.
An introduction to Kolmogorov complexity and its applications [Text] / Ming Li, Paul Vitányi. - New York[etc.] : Springer-Verlag, 1993. - 546 p. - (Texts and monographs in computer science). - Бібліогр.: с. 493-525. - ISBN 0-387-94053-7. - ISBN 3-540-94053-7
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 17. |
ВС55483
Ершов, Юрий Леонидович.
Алгоритмы и вычислимость в человеческом познании [Текст] : [монография] / Ю. Л. Ершов, В. В. Целищев ; науч. ред.: д-р филос. наук К. Ф. Самохвалов, д-р физ.-мат. наук А. С. Морозов ; Рос. акад. наук, Сибир. отд-ние, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497 с. - (Интеграционные проекты СО РАН ; вып. 40). - Парал. тит. арк. англ. - Бібліогр.: с. 490-497. - 330 прим. - ISBN 978-5-7692-1248-8 (Вып. 40). - ISBN 978-5-7692-0669-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 18. |
ВА820002
Самойленко, Денис Миколайович.
Спеціальні розділи математики у кібербезпеці [Текст] : навч. посіб. для індивід. роботи студентів / Д. М. Самойленко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Миколаїв : НУК, 2017. - 86, [2] с. : рис. - Бібліогр.: с. 86-[87]. - 100 прим.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | | |
|
| 19. |
ВА862495
Гентош, Леся Ігорівна.
Теорія обчислень, алгоритми і структури даних [Текст] : навч. посіб. / Л. І. Гентош, І. В. Ізонін, Є. О. Засоба ; Нац. ун-т "Львів. політехніка". - Львів : Бона, 2023. - 231 с. : рис., табл. - Бібліогр.: с. 210-211. - 100 прим. - ISBN 978-617-8097-04-2
Рубрики:
Видання зберігається у :
Основний фонд
| |
Простий пошук
Віртуальна довідка