Cover Image

The constructional knowledge of sets and their properties

Prombles in programming 2014; 1: 3-17

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Ilman, V.M., Shinkarenko, V.I.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 517. 519.2 004:512
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/726
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Logical view for construction-synthesis model of data structures
by: Shynkarenko, V.I., et al.
Published: (2025)

Bicomponent sorting algorithms
by: Shynkarenko, V. I., et al.
Published: (2023)

Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

An intellectual information technology for organizational decisions expert-analytical support
by: Ilyina, O.P., et al.
Published: (2025)

Portfolio model for decision process concerning organizational change management
by: Slabospitskaya, O.A.
Published: (2017)

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

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Mathematical modeling of the automobile bodies with the help of R-functions
by: Лисин, Д. А., et al.
Published: (2013)

Mathematical modeling of the automobile bodies with the help of R-functions
by: Лисин, Д. А., et al.
Published: (2013)

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015)

The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)

Grid application development framework
by: Prila, O.A.
Published: (2025)

Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
by: Ершов, С. В.
Published: (2016)

Numerical implementation of boundary conditions at permeable boundaries for the gasdynamics equations
by: Ершов, С. В.
Published: (2016)

Algebraic patterns of binary code vulnerabilities
by: Yakovlev, V.M.
Published: (2020)

Mathematical foundations for designing and development of intelligent systems of information analysis
by: Terletskyi, D.O., et al.
Published: (2025)

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

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

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Chebanyuk, E.V., et al.
Published: (2015)

Decompositional Extraction and Retrieval of Conceptual Knowledge
by: Terletskyi, D.O., et al.
Published: (2023)

Models and methods of analytical support for strategic management decision-making
by: Ilina, E.P., et al.
Published: (2015)

The mathematical and computer modelling of the building constructions on the R-functions basis
by: Литвинова, Ю. С., et al.
Published: (2014)

The mathematical and computer modelling of the building constructions on the R-functions basis
by: Литвинова, Ю. С., et al.
Published: (2014)

Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025)

The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)

Constructive-synthesizing model of text graph representation
by: Shynkarenko, V.I., et al.
Published: (2018)

Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Information technology for the development and analysis of models of subject areas for their study
by: Lyubchenko, V.V.
Published: (2015)