The constructional knowledge of sets and their properties
Prombles in programming 2014; 1: 3-17
Збережено в:
| Дата: | 2025 |
|---|---|
| Автори: | Ilman, V.M., Shinkarenko, V.I. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/726 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)
за авторством: Ведь, Е. В.
Опубліковано: (2016)
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)
за авторством: Ведь, Е. В.
Опубліковано: (2016)
Logical view for construction-synthesis model of data structures
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025)
Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)
Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)
за авторством: Terletskyi, D.O.
Опубліковано: (2025)
Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)
за авторством: Kolchin, A.V.
Опубліковано: (2015)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
An intellectual information technology for organizational decisions expert-analytical support
за авторством: Ilyina, O.P., та інші
Опубліковано: (2025)
за авторством: Ilyina, O.P., та інші
Опубліковано: (2025)
Portfolio model for decision process concerning organizational change management
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
Скінченно-елементне розв’язування задач теорії оболонок, податливих до зсувів та стиснення
за авторством: Bernakevych, I. Ye.; Бернакевич І. Є.; Львівський національний університет ім. Івана Франка, Львів, та інші
Опубліковано: (2018)
за авторством: Bernakevych, I. Ye.; Бернакевич І. Є.; Львівський національний університет ім. Івана Франка, Львів, та інші
Опубліковано: (2018)
Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)
Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)
Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)
Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)
за авторством: Prila, O.A.
Опубліковано: (2025)
Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
за авторством: Ершов, С. В.
Опубліковано: (2016)
за авторством: Ершов, С. В.
Опубліковано: (2016)
Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
за авторством: Ершов, С. В.
Опубліковано: (2016)
за авторством: Ершов, С. В.
Опубліковано: (2016)
The description of lists and sets of meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2020)
за авторством: Kurgaev, A.F.
Опубліковано: (2020)
Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
Mathematical foundations for designing and development of intelligent systems of information analysis
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)
Комбінаторні властивості 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)
Models and methods of analytical support for strategic management decision-making
за авторством: Ilina, E.P., та інші
Опубліковано: (2015)
за авторством: Ilina, E.P., та інші
Опубліковано: (2015)
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
за авторством: Chebanyuk, E.V., та інші
Опубліковано: (2015)
Decompositional Extraction and Retrieval of Conceptual Knowledge
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2023)
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2023)
The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)
Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)
за авторством: Lukyanova, E.A.
Опубліковано: (2025)
The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)
за авторством: Zubenko, V.V.
Опубліковано: (2025)
Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Constructive-synthesizing model of text graph representation
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2018)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2018)
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
Схожі ресурси
-
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016) -
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016) -
Logical view for construction-synthesis model of data structures
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025) -
Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023) -
Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)