Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (1)Книжкові видання та компакт-диски (2)
Пошуковий запит: (<.>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 Пошук видання у каталогах НБУВ 


 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського