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)

Using of the Conceptual and Retrospective Knowledge for Risk Mitigation in the Delphi Procedures for the Strategic Management
by: Ilyina, O.P.
Published: (2026)

Neural networks synthesis management
by: Katerynych, L.A.
Published: (2026)

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

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
by: Levchenko, R.I., et al.
Published: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)

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

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)

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

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
by: Shinkarenko, V.I., et al.
Published: (2026)

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

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)

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

Adaptability measurement of e-learning courses
by: Lyubchenko, V.V.
Published: (2026)

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

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)

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)

The models of the quality expert analysis for the decisions made under target programming
by: Ilyina, E.P.
Published: (2026)

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

Towards effectiveness estimation of post object-oriented technologies at software maintenance
by: Tkachuk, N., et al.
Published: (2026)

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)

Entity-substance characteristics of educational environment
by: Parfirova, T.S.
Published: (2026)

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)

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

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

About construction of digital library models
by: Reznichenko, V.A., et al.
Published: (2026)

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

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

Metrics selection for the software properties
by: Dyshlevyi, O.P.
Published: (2026)