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.
Збережено в:
| Дата: | 2015 |
|---|---|
| Автор: | Akulovskiy, V.G. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/75 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)
Development of Web-prototype for analysis of statements in social network Twitter
за авторством: Glybovets, A.M., та інші
Опубліковано: (2019)
за авторством: Glybovets, A.M., та інші
Опубліковано: (2019)
Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)
First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)
Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Algebras of quasiary and of bi-quasiary relations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)
за авторством: Shkilniak, S.S.
Опубліковано: (2019)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
Composition-nominative logics of free-quantifier levels
за авторством: Shkilniak, S.S., та інші
Опубліковано: (2018)
за авторством: Shkilniak, S.S., та інші
Опубліковано: (2018)
The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)
Module-based scientific physics engine architecture
за авторством: Bernatovych, A.A., та інші
Опубліковано: (2023)
за авторством: Bernatovych, A.A., та інші
Опубліковано: (2023)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: Ovdii, O.M.
Опубліковано: (2019)
за авторством: Ovdii, O.M.
Опубліковано: (2019)
Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)
Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)
за авторством: Prila, O.A.
Опубліковано: (2025)
Composition and properties of data specified in compositional schemes of algorithms
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
Semantic properties of five-valued logics
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Some aspects of software engineering for AI-based systems
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
за авторством: Liubchenko, V.V.
Опубліковано: (2023)
Extension of the program synthesis system to analyze large data sets
за авторством: Ovdii, O.M.
Опубліковано: (2018)
за авторством: Ovdii, O.M.
Опубліковано: (2018)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Mapping of the relational algebra to the description logic
за авторством: Chystiakova, І.S.
Опубліковано: (2018)
за авторством: Chystiakova, І.S.
Опубліковано: (2018)
Research and development of Johnson's algorithm parallel schemes in GPGPU technology
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018)
The completeness of the algorithm algebra with data
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)
за авторством: V. G. Akulovskij, та інші
Опубліковано: (2016)
A dialogue system based on ontology automatically built through a natural language text analysis
за авторством: Litvin, A.A., та інші
Опубліковано: (2023)
за авторством: Litvin, A.A., та інші
Опубліковано: (2023)
Схожі ресурси
-
Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025) -
Development of Web-prototype for analysis of statements in social network Twitter
за авторством: Glybovets, A.M., та інші
Опубліковано: (2019) -
Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025) -
First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025) -
Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)