Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку

 

Бази даних


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

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Пошуковий запит: (<.>K=предикат рівності<.>)
Загальна кількість знайдених документів : 1
1.

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

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