Пошук академічних текстів

Інформація × Реєстраційний номер 0307U001320, 0106U005860 , Науково-дослідна робота Назва роботи Створення теоретичних основ, методів та засобів інтелектуалізації інформаційно-комунікаційних технологій для розподілених комп'ютерних систем Назва етапу роботи Паралельні алгоритми при досліджені динамічних систем. Розробка категорних методів розв'язування деяких задач дискретної математики. Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 14-02-2007 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Досліджені методи побудови динамічного коаліційного середовища; встановлений зв'язок між тематикою динамічних коаліцій та захищеними системами паралельної обробки інформації. Досліджено співвідношення, що виконуються в довільному булевому топосі; узагальнено поняття лінійного морфізма в топосі; сформульовано критерій мономорфності для інтуіціоністської логіки. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити