Buchumschlag

Сoordinated description of algorithms within the framework of algebraic vehicle

The possibility of the concerted description of management streams is shown, data and informative connections in the process of algorithms’ development facilities of the tribasic algebraic system (algebras of algorithms with data) is shown (in most general case). The properties of the got charts of...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2025
Heft:	2-3
Сторінки:	29-37
ISSN:	1727-4907
Автори та афіліації:	V.G. Akulovskiy — Academy of Customs Service of Ukraine A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
Hauptverfasser:	Akulovskiy, V.G., Doroshenko, A.Yu.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.42
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/690
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Development of Web-prototype for analysis of statements in social network Twitter
von: Glybovets, A.M., et al.
Veröffentlicht: (2019)

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

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

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Some aspects of formalization of an architectural development cycle of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

Algorithm of synthesis of a relational framework. Informal description
von: B. E. Panchenko
Veröffentlicht: (2013)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)

Mapping of the relational algebra to the description logic
von: Chystiakova, І.S.
Veröffentlicht: (2018)

Optimization of parallel perceptron for central processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Algorithm of definition of isomorphism XML-schemas
von: Sergeev, A.P.
Veröffentlicht: (2026)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

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

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

Automated translation from Ukrainian to sign language: algorithmic implementation
von: Krak, Yu.V., et al.
Veröffentlicht: (2025)

Architectural framework for a United Blockchain Interaction Library
von: Dobrianskyi, B.I., et al.
Veröffentlicht: (2024)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Toolkit for simulation of heterogeneous GPU-based environments
von: Okonsky, I.V., et al.
Veröffentlicht: (2025)

On unification of processing methods of the structured information
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)