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)

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

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

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)

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

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)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
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)

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)

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

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

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)

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)

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

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

Комбінаторні властивості 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)

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

R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
by: Sheiko, Tetiana I., et al.
Published: (2019)

R-functions in the Analytical Description of the Surface of a Flying Wing Unmanned Aerial Vehicle
by: Sheiko, Tetiana I., et al.
Published: (2019)

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

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

Constructive-synthesizing modeling of the genetic algorithm chromosomes with encoded sorting algorithms
by: Shinkarenko, V.I., et al.
Published: (2025)

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

Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
by: Sheyko, T. I., et al.
Published: (2019)

Screw-Type Symmetry in Machine Components and Design at Implementation on a 3D Printer
by: Sheyko, T. I., et al.
Published: (2019)

Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
by: Sheiko, Tetiana I., et al.
Published: (2020)

Using the R-Functions Theory Apparatus to Mathematically Model the Surface of the Soyuz-Appolo Spacecraft Mock-up for 3D Printing
by: Sheiko, Tetiana I., et al.
Published: (2020)

Development of domain thesaurus as a set of ontology concepts with use of semantic similarity and elements of combinatorial optimization
by: Rogushina, J.V., et al.
Published: (2021)

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

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

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

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