Знайдено документів: 1
Інформація × Реєстраційний номер 0310U002492, 0106U005860 , Науково-дослідна робота Назва роботи Cтворення теоретичних основ, методів та засобів інтелектуалізації інформаційно-комунікаційних технологій для розподілених комп'ютерних систем Назва етапу роботи Розвиток теорії локальних алгоритмів для розподілених комп'ютерних систем. Категорний аналіз теорем Гьоделя про повноту та неповноту. Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 14-04-2010 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розробка і реалізація системи розподіленого паралельного обчислення ПАРКС (Java). Створення нових алгоритмыв та методів захисту інформації в розподілених комп'ютерних системах. Проведено категорний аналіз теорем Гьоделя про повноту та неповноту. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Cтворення теоретичних основ, методів та засобів інтелектуалізації інформаційно-комунікаційних технологій для розподілених комп'ютерних систем
Керівник: Анісімов Анатолій Васильович. Cтворення теоретичних основ, методів та засобів інтелектуалізації інформаційно-комунікаційних технологій для розподілених комп'ютерних систем. (Етап: Розвиток теорії локальних алгоритмів для розподілених комп'ютерних систем. Категорний аналіз теорем Гьоделя про повноту та неповноту.). Київський національний університет імені Тараса Шевченка. № 0310U002492
Знайдено документів: 1

Оновлено: 2026-03-19


Роздрукувати цю сторінку