Cover Image

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

Saved in:

Bibliographic Details
Date:	2026
Main Author:	Akulovskiy, V.G.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 519.683
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/976
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

Algebra for the description of data in the composite schemes of algorithms
by: Akulovskiy, V.G.
Published: (2015)

The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

Сoordinated description of algorithms within the framework of algebraic vehicle
by: Akulovskiy, V.G., et al.
Published: (2025)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
by: Nepomniaschaya, A.S.
Published: (2026)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)

The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
by: Zeitlin, G.E., et al.
Published: (2026)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
by: Tereshchenko, A.N.
Published: (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
by: Kuksa, A.I.
Published: (2015)

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

About the influence of features of fitness-functions on the convergence of the genetic algorithm
by: Lukianov, I.O., et al.
Published: (2020)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)

The completeness of the algorithm algebra with data
by: V. G. Akulovskij, et al.
Published: (2016)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Method for parallelizing nonlinear tasks
by: Paulin, O.N., et al.
Published: (2026)

Parallel implementation of directed search processes for optimal solutions
by: Pepelyaev, V.A., et al.
Published: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
by: Romm, Ya. E., et al.
Published: (2026)

Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
by: Lazarenko, S.V., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

A parallel search algorithm for formal grammar data types
by: A. Prodan
Published: (2018)

Algorithmic algebra tools on the Web 2.0 platform
by: Iovchev, V.A., et al.
Published: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

A GPU-based singular value decomposition algorithm
by: Sukharskyi, S.S.
Published: (2023)