Чернігівська ОУНБ ім. В.Г. Короленка

Головна

Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до Рекомендацій Міністерства культури та інформаційної політики України щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.

Вид пошуку

Бази даних

Електронна картотека аналітичного опису статей - результати пошуку

Електронний каталог книг

Електронна картотека аналітичного опису статей

Зведений краєзнавчий каталог Чернігівщини

Електронна бібліотека

Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)

Електронний каталог книг іноземними мовами

Друковані ЗМІ про нас

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>A=Богатирьова, Ю. О.$<.>)

Загальна кількість знайдених документів : 1

Богатирьова, Ю. О.
Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень [Текст] / Ю. О. Богатирьова, Д. Б. Буй, В. Н. Редько // Доповіді Національної академії наук України. - 2011. - № 9. - С. 32-35. - Бібліогр. в кінці ст.
Рубрики: Математика--Алгебра--Загальна алгебра--Поля і многочлени
Кл.слова (ненормовані):
функція рекурсивна -- предикат рівності
Анотація: Розглядається обчислювальність на множинах і мультимножинах. Побудовано системи породжуючих множинної та мультимножинної примітивно програмних алгебр.

Дод.точки доступу:
Буй, Д. Б.; Редько, В. Н.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)