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

Головна

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

Вид пошуку

Бази даних

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

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

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

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

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

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

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

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

Зона пошуку

Знайдено у інших БД:

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

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>A=Анисимов, А. В.$<.>)

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

Системы Theorema и автоматизация дедукции: сравнительный анализ [Текст] / А. В. Анисимов, Т. Джебелян, А. В. Лялецкий, Н. Попов // Управляющие системы и машины. - 2011. - № 4 . - С. 59-63, 77. - Библиогр.: с. 63 . - ISSN 0130-5395

УДК

004.8:510.62:63

Рубрики: Вища математика
Кл.слова (ненормовані):
математичні знання -- система Theorema -- порівняльний аналіз

Дод.точки доступу:
Анисимов, А. В.; Джебелян, Т.; Лялецкий, А. В.; Попов, Н.
Є примірники у відділах: всього 1 : ВДЕТПСГН (1)

Знайти схожі

Анисимов, А. В.
Доверительные вычисления с использованием складывающей машины. I [Текст] / А. В. Анисимов, А. К. Новокшонов // Кибернетика и системный анализ. - 2017. - № 5. - С. 3-13. - Библиогр.: с. 12-13 . - ISSN 0023-1274

УДК

519.72, 003.26

Рубрики: Інформаційно-комунікаційні технології
Арифметика--Програми
Кл.слова (ненормовані):
цифровий підпис -- гомоморфна криптографія -- додавальна машина -- обчислювальний ресурс
Анотація: В статье предложено решение проблемы целостности арифметических программ, выполняемых на удаленном вычислительном ресурсе. Подход к решению состоит в замене арифметических операций, таких как умножение и деление, процедурами складывающей машины, введенной Р. Флойдом и Д. Кнутом. Вычисления и порядок следования команд подписываются динамической цифровой подписью, гомоморфной по сложению/вычитанию.

Дод.точки доступу:
Новокшонов, А. К.

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

Знайти схожі

Анисимов, А. В.
Кодирование деревьев с помощью линейнх рекуррентных последовательностей [Текст] / А. В. Анисимов // Кибернетика и системный анализ. - 2017. - № 6. - С. 20-32 : рис. - Библиогр.: с. 31-32 . - ISSN 0023-1274

УДК

519.7

Рубрики: Кодування--Обробка інформації--Інформаційно-комунікаційні технології
Кл.слова (ненормовані):
алгоритми -- числа Фібоначчі -- обчислювальні пристрої
Анотація: В статье предлагается унифицированное кодирование упорядоченных бинарных деревьев с числовыми метками в вершинах с помощью линейных форм соседних членов линейных рекуррентных последовательностей - натуральных чисел. Дан краткий обзор возможных применений такого кодирования для задач обработки деревьев и криптографических преобразований.

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

Знайти схожі

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