Зображення обкладинки

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
Теми:	UDC 517. 519.2 004:512
Онлайн доступ:	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)

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)

Using of the Conceptual and Retrospective Knowledge for Risk Mitigation in the Delphi Procedures for the Strategic Management
за авторством: Ilyina, O.P.
Опубліковано: (2026)

Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
за авторством: Godlevsky, A.B., та інші
Опубліковано: (2026)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: 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)

Скінченно-елементне розв’язування задач теорії оболонок, податливих до зсувів та стиснення
за авторством: Bernakevych, I. Ye.; Бернакевич І. Є.; Львівський національний університет ім. Івана Франка, Львів, та інші
Опубліковано: (2018)

Комбінаторні властивості p-частково впорядкованих множин ширини 2
за авторством: Bondarenko, V. M.; Інститут математики НАН України, Київ, та інші
Опубліковано: (2018)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

On Hasse diagrams connected with the 1-oversupercritical poset (1, 3, 5)
за авторством: Bondarenko, V. M.; Бондаренко В. М.; Інститут математики НАН України, Київ, та інші
Опубліковано: (2018)

Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Adaptability measurement of e-learning courses
за авторством: Lyubchenko, V.V.
Опубліковано: (2026)

Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)

Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)

An intellectual information technology for organizational decisions expert-analytical support
за авторством: Ilyina, O.P., та інші
Опубліковано: (2025)

Portfolio model for decision process concerning organizational change management
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Towards effectiveness estimation of post object-oriented technologies at software maintenance
за авторством: Tkachuk, N., та інші
Опубліковано: (2026)

Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)

Entity-substance characteristics of educational environment
за авторством: Parfirova, T.S.
Опубліковано: (2026)

The description of lists and sets of meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2020)

Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
за авторством: Ершов, С. В.
Опубліковано: (2016)

Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
за авторством: Ершов, С. В.
Опубліковано: (2016)

About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

About construction of digital library models
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2026)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)

Metrics selection for the software properties
за авторством: Dyshlevyi, O.P.
Опубліковано: (2026)

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

Decompositional Extraction and Retrieval of Conceptual Knowledge
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2023)

The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)

The mathematical and computer modelling of the building constructions on the R-functions basis
за авторством: Литвинова, Ю. С., та інші
Опубліковано: (2014)

Mathematical foundations for designing and development of intelligent systems of information analysis
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)