1 documents found
Information × Registration Number 0310U002492, 0106U005860 , R & D reports Title Creation of theoretical bases, methods and tools of information-communication technologies intellectualization for distributed computer systems popup.stage_title Розвиток теорії локальних алгоритмів для розподілених комп'ютерних систем. Категорний аналіз теорем Гьоделя про повноту та неповноту. Head Anisimov Anatoliy, Доктор фізико-математичних наук Registration Date 14-04-2010 Organization Taras Shevchenko Kiev university popup.description2 Development and realization of the system of distributed parallel computing PARKS (Java). Creation of new algorithms and methods of information security in the distributed computer systems. The categorial analysis of Gedel's completeness and incompleteness theorem is conducted. Product Description popup.authors popup.nrat_date 2020-04-02 Close
R & D report
Head: Anisimov Anatoliy. Creation of theoretical bases, methods and tools of information-communication technologies intellectualization for distributed computer systems. (popup.stage: Розвиток теорії локальних алгоритмів для розподілених комп'ютерних систем. Категорний аналіз теорем Гьоделя про повноту та неповноту.). Taras Shevchenko Kiev university. № 0310U002492
1 documents found

Updated: 2026-03-28