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