Зображення обкладинки

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms

Within the framework of the expanded algebra of algorithms the approach to formalization of the data is offered. Properties of the formalized data and some aspects of decomposition of D-operators are considered.Problems in programming 2009; 4: 3-10

Збережено в:

Бібліографічні деталі
Дата:	2026
Автор:	Akulovskiy, V.G.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.683
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/976
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

Algebra for the description of data in the composite schemes of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
за авторством: Nepomniaschaya, A.S.
Опубліковано: (2026)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)

The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
за авторством: Zeitlin, G.E., та інші
Опубліковано: (2026)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
за авторством: Kuksa, A.I.
Опубліковано: (2015)

Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)

About the influence of features of fitness-functions on the convergence of the genetic algorithm
за авторством: Lukianov, I.O., та інші
Опубліковано: (2020)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)

The completeness of the algorithm algebra with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)

Parallel implementation of directed search processes for optimal solutions
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)

Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

A parallel search algorithm for formal grammar data types
за авторством: A. Prodan
Опубліковано: (2018)

Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)