Logical view for construction-synthesis model of data structures
Developed generalized constructive-synthesizing structures that accumulate scope of various grammars and grammar-like systems intended to produce constructions consist of different elements. Distinctive feature of produced constructions is attribute applying framework for elements, their connections...
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2025 |
| Heft: | 2-3 |
| Сторінки: | 10-16 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| Hauptverfasser: | Shynkarenko, V.I., Ilman, V.M., Zabulula, G.V. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/688 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |
|
Institution
Problems in programmingÄhnliche Einträge
Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025)
von: Shkilnyak, O.S.
Veröffentlicht: (2025)
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Constructive-synthesizing model of text graph representation
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2018)
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2018)
Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)
von: Shkilnyak, S.S.
Veröffentlicht: (2025)
Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)
von: Terletskyi, D.O.
Veröffentlicht: (2025)
Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)
von: Terletskyi, D.O., 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)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
The estimations of error of approaching Fourier's coefficients of two variables by the cubature formula on the class of differentiable functions
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
Spline-interlineation in building of optimal by exactness cubature formula for the exact evaluating of 3D Fourier’s coefficients on one differential class
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
von: Литвин, О. М., et al.
Veröffentlicht: (2016)
First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)
von: Shkilniak, O.S.
Veröffentlicht: (2019)
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)
von: Shkilniak, S.S.
Veröffentlicht: (2019)
Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
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)
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)
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)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)
Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Neural networks synthesis management
von: Katerynych, L.A.
Veröffentlicht: (2026)
von: Katerynych, L.A.
Veröffentlicht: (2026)
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
von: Shkilniak, O.S.
Veröffentlicht: (2019)
von: Shkilniak, O.S.
Veröffentlicht: (2019)
On representations of permutations groups as isometry groups of \(n\)-semimetric spaces
von: Gerdiy, Oleg, et al.
Veröffentlicht: (2018)
von: Gerdiy, Oleg, et al.
Veröffentlicht: (2018)
Комбінаторні властивості p-частково впорядкованих множин ширини 2
von: Bondarenko, V. M.; Інститут математики НАН України, Київ, et al.
Veröffentlicht: (2018)
von: Bondarenko, V. M.; Інститут математики НАН України, Київ, et al.
Veröffentlicht: (2018)
On Hasse diagrams connected with the 1-oversupercritical poset (1, 3, 5)
von: Bondarenko, V. M.; Бондаренко В. М.; Інститут математики НАН України, Київ, et al.
Veröffentlicht: (2018)
von: Bondarenko, V. M.; Бондаренко В. М.; Інститут математики НАН України, Київ, et al.
Veröffentlicht: (2018)
The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
von: Morentsov, Y.I.
Veröffentlicht: (2018)
von: Morentsov, Y.I.
Veröffentlicht: (2018)
On time irreversibility of generalized Hassani kinematics
von: Grushka, Ya. I.; Інститут математики НАН України, Київ
Veröffentlicht: (2022)
von: Grushka, Ya. I.; Інститут математики НАН України, Київ
Veröffentlicht: (2022)
СONDITIONS INVESTIGATIONS OF INDUCTION OF THE "STEADY" PLASMA RING IN THE ELECTRODYNAMIC ACCELERATOR
von: Sakun, O. V., et al.
Veröffentlicht: (2015)
von: Sakun, O. V., et al.
Veröffentlicht: (2015)
Про деякі інваріанти поліноміальних матриць щодо напівскалярної еквівалентності
von: Shavarovskii, B. Z.; Шаваровський Б. З.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2018)
von: Shavarovskii, B. Z.; Шаваровський Б. З.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2018)
Про число нерозкладних модулярних зображень циклічної $p$-групи над скінченним локальним кільцем
von: Tylyshchak, O. A.; Тилищак О. А.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2018)
von: Tylyshchak, O. A.; Тилищак О. А.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2018)
Найменше спільне кратне матриць одного класу матриць над комутативною областю головних ідеалів
von: Романів, А. М.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2018)
von: Романів, А. М.; Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України, Львів
Veröffentlicht: (2018)
Об одном свойстве модулярных представлений диэдральных 2-групп
von: Литвинчук, И. В.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2018)
von: Литвинчук, И. В.; Київський національний університет ім. Тараса Шевченка, Київ
Veröffentlicht: (2018)
On direct products of metacyclic Miller–Moreno p-groups and cyclic p-groups as additive groups of local nearrings
von: Raievska, I. Yu.; Інститут математики НАН України, Київ
Veröffentlicht: (2024)
von: Raievska, I. Yu.; Інститут математики НАН України, Київ
Veröffentlicht: (2024)
Security basic model for applied tasks of the distributed information system
von: Rodin, Y.S., et al.
Veröffentlicht: (2021)
von: Rodin, Y.S., et al.
Veröffentlicht: (2021)
Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)
Коли R(X) і R⟨X⟩ є ω-евклідовими областями
von: Sagan, A. V.; Саган А. В.; Львівський національний університет ім. Івана Франка, Львів
Veröffentlicht: (2018)
von: Sagan, A. V.; Саган А. В.; Львівський національний університет ім. Івана Франка, Львів
Veröffentlicht: (2018)
Topological semigroups of matrix units
von: Gutik, Oleg V., et al.
Veröffentlicht: (2018)
von: Gutik, Oleg V., et al.
Veröffentlicht: (2018)
Ähnliche Einträge
-
Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025) -
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025) -
Constructive-synthesizing model of text graph representation
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2018) -
Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025) -
Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)