Search academic texts

Information × Registration Number 0307U001320, 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 A.V., Доктор фізико-математичних наук Registration Date 14-02-2007 Organization Taras Shevchenko Kiev university popup.description2 Сonstruction methods for dynamic coalition environment were investigated. Relationship between subject-matter of dynamic coalitions and protected systems of parallel information processing was established. The main correlations which are performed in arbitrary Boolean topos was considered. Generalization of the notion of linear Orphism in topos was conducted, the monomorphism criteria for intuition logic was formulated. Product Description popup.authors popup.nrat_date 2020-04-02 Close