Cover Image

Algebra for the description of data in the composite schemes of algorithms

The algebra of the data in which frameworks the complex approach to programming is realized at the description of operating structures and structures of the data in composite schemes of algorithms is offered.

Saved in:

Bibliographic Details
Date:	2015
Main Author:	Akulovskiy, V.G.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	UDC 004.42
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/75
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

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

Development of Web-prototype for analysis of statements in social network Twitter
by: Glybovets, A.M., et al.
Published: (2019)

Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)

First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)

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

Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

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

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Algebras of quasiary and of bi-quasiary relations
by: Nikitchenko, M.S., et al.
Published: (2018)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)

Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)

Grid application development framework
by: Prila, O.A.
Published: (2025)

Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)

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)

Composition nominative modal logics of partial non-monotone predicates and their calculi
by: Shkilniak, O.S., et al.
Published: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
Published: (2018)

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

Module-based scientific physics engine architecture
by: Bernatovych, A.A., et al.
Published: (2023)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2020)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
by: Nesterenko, K.P., et al.
Published: (2024)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
by: Ovdii, O.M.
Published: (2019)

Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

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

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

Composition and properties of data specified in compositional schemes of algorithms
by: Akulovsky, V.G., et al.
Published: (2025)

Semantic properties of five-valued logics
by: Nikitchenko, M.S., et al.
Published: (2018)

Some aspects of software engineering for AI-based systems
by: Liubchenko, V.V.
Published: (2023)

Approaches to realization Yen’s algorithm for systems with the shared memory
by: Pogorilyy, S.D., et al.
Published: (2025)

Automated translation from Ukrainian to sign language: algorithmic implementation
by: Krak, Yu.V., et al.
Published: (2025)

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

On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)