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
Datum:	2025
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

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

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)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

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

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

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

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)

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

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

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)

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

Semantic properties of five-valued logics
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

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

Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles
von: Dreval, O.L., et al.
Veröffentlicht: (2018)

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

Software package for estimation of the stereo camera calibration error in the computer vision system
von: Vitiuk, A.Ye., et al.
Veröffentlicht: (2023)

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

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)

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

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