Cover Image

Designers sets and multisets of objects

Prombles in programming 2014; 1: 18-30

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Terletskyi, D.O.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 510.2:004.8
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/727
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

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

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Rapid vs. Qualitative Development
by: Panchenko, T.V.
Published: (2025)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
by: Glybovets, A.M.
Published: (2025)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
by: Glybovets, M.M., et al.
Published: (2017)

Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)

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

Tuple calculus for multiset table algebra
by: Lysenko, І.M.
Published: (2024)

The constructional knowledge of sets and their properties
by: Ilman, V.M., et al.
Published: (2025)

Topological and algebraical structures on the set of multisets
by: O. M. Holubchak, et al.
Published: (2019)

Sequent calculi of composition nominative modal logics of functional-equational level
by: Shkilnyak, O.S.
Published: (2025)

Scientific research digitalization: R&D workstation environment for the telerehabilitation medicine research domain
by: Malakhov, K.S., et al.
Published: (2024)

An intelligent chatbot for evaluating the emotional colouring of a message and responding accordingly
by: Kobchenko, V. R., et al.
Published: (2024)

Flow constructing and optimizing method for composite web service based on Q-learning
by: Grishanova, I.Yu., et al.
Published: (2025)

Method for political propaganda detection in internet content using neural network natural language processing tools
by: Krak, Iu.V., et al.
Published: (2024)

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 approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Optimization methods for face recognition algorithmes
by: Sitkov, I.P., et al.
Published: (2025)

Application of coevolution strategy to solve the problem of autonomous navigation trough the maze
by: Omelianenko, Ia.V., et al.
Published: (2024)

Mathematical methods of planning in systems consisted of rational agents
by: Sinitsyn, I.P., et al.
Published: (2024)

About relationship between table algebra of infinite tables and multiset table algebra
by: Glushko, I.M.
Published: (2018)

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

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

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

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

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

Sound interface design for blind PC users
by: Ruvinskaya, V.M., et al.
Published: (2015)

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

Simulation of the autonomous maze navigation using the NEAT algorithm
by: Omelianenko, Ia.V.
Published: (2023)

Approach qualitative analisys of dynamic systems wood based solutions
by: Andrushchak, I.Ye.
Published: (2017)

About complex intelligent technologies for techno-ecological events control in the water area
by: Pisarenko, V.G., et al.
Published: (2023)

Designing of the specialized computer system for making pulmonology diagnosis
by: Komlevaya, N.O., et al.
Published: (2025)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)