Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=В127.2$<.>) |
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
|
| | | | |
1. |
Буй Д. Б. Непрерывность в индуктивных множествах. Часть 2: рекурсия / Д. Б. Буй // Пробл. программир.. - 1998. - № 4. - С. 3-19. - Библиогр.: 14 назв. - рус.Досліджена операція рекурсії, що індукується рівнянням чи системою рівнянь. Показана замкненість класів монотонних (неперервних) функцій відносно рекурсії, а також неперервність самої рекурсії. Індекс рубрикатора НБУВ: В127.2
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Буй Д. Б. Непрерывность в индуктивных множествах: операции суперпозиции и рекурсии / Д. Б. Буй // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 120-128. - Библиогр.: 13 назв. - рус.Исследуется монотонность и непрерывность в индуктивных множествах. Введена топология Скотта, рассмотрены произведения и обобщенные произведения индуктивных множеств. Рассматриваются операции суперпозиции и рекурсии (рекурсия индуцирована решением уравнений с параметром). Установлена замкнутость классов монотонных и непрерывных функций относительно суперпозиции и рекурсии, а также монотонность и непрерывность самих операций суперпозиции и рекурсии. Ключ. слова: Індекс рубрикатора НБУВ: В127.2
Рубрики:
|
| | | | |
3. |
Ковальчук В. Г. Циклічні співвідношення на словах у скінченному алфавіті. Засади теорії скінченних груп / В. Г. Ковальчук. - К., 1999. - 304 c. - укp.Введено формальне поняття "цикл" на словах у вільній групі слів. Наголошено, що циклічні співвідношення обумовлюють мультиплікативні властивості циклів і є визначальними співвідношеннями симетризованої групи слів, яка ізоморфна симетричній групі. Розвинуто конструктивний метод побудови всіх регулярних підгруп симетричної групи і запропоновано спосіб ідентифікації скінченних груп. Вирішено проблему теорії скінченних груп: усі структури скінченних груп будуються рекурсивним шляхом. Індекс рубрикатора НБУВ: В127.2,021 + В152.35,021
Рубрики:
Шифр НБУВ: ВА593375 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Теорія алгоритмів : навч. посіб. Ч. 2. Обчислювальні алгоритми / Тетяна Караванова ; Чернівец. нац. ун-т ім. Юрія Федьковича. - Б.м., 2022. - 287 c. - Бібліогр.: с. 284 - укp. Індекс рубрикатора НБУВ: В127.2 я73 + В127.3 я73
Рубрики:
Шифр НБУВ: В359379/2 Пошук видання у каталогах НБУВ
|
|
|