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