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

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.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Akulovskiy, V.G.
Format:	Artikel
Sprache:	rus
Veröffentlicht:	Інститут програмних систем НАН України 2015
Schlagworte:	UDC 004.42
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/75
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming

Institution

Problems in programming

Ähnliche Einträge

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

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)

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

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

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
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)

Algebras of quasiary and of bi-quasiary relations
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)

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

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

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

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

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

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.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)

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)

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)

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

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

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

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)

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)

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

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

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

Extension of the program synthesis system to analyze large data sets
von: Ovdii, O.M.
Veröffentlicht: (2018)

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

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

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

On performance of the In-Memory Data Grids
von: Rukhlis, K.A., et al.
Veröffentlicht: (2017)

A peer-to-peer topology and multicasting algorithm with guaranteed quality of experi-ence
von: Hordiichuk, O.V., et al.
Veröffentlicht: (2017)

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

A dialogue system based on ontology automatically built through a natural language text analysis
von: Litvin, A.A., et al.
Veröffentlicht: (2023)

T-satisfiability test problem for the VL1 logical language of the VRS system
von: Timofeev, V.G.
Veröffentlicht: (2015)

Matching data between electronic documents and database tables with automated SQL-query generation
von: Marulin, S.Yu.
Veröffentlicht: (2025)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2018)