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

Designers sets and multisets of objects

Prombles in programming 2014; 1: 18-30

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Terletskyi, D.O.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 510.2:004.8
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/727
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

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

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)

Rapid vs. Qualitative Development
за авторством: Panchenko, T.V.
Опубліковано: (2025)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Optimization of parallel perceptron for central processing units
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

Tuple calculus for multiset table algebra
за авторством: Lysenko, І.M.
Опубліковано: (2024)

Topological and algebraical structures on the set of multisets
за авторством: O. M. Holubchak, та інші
Опубліковано: (2019)

Logical view for construction-synthesis model of data structures
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Scientific research digitalization: R&D workstation environment for the telerehabilitation medicine research domain
за авторством: Malakhov, K.S., та інші
Опубліковано: (2024)

An intelligent chatbot for evaluating the emotional colouring of a message and responding accordingly
за авторством: Kobchenko, V. R., та інші
Опубліковано: (2024)

Flow constructing and optimizing method for composite web service based on Q-learning
за авторством: Grishanova, I.Yu., та інші
Опубліковано: (2025)

Method for political propaganda detection in internet content using neural network natural language processing tools
за авторством: Krak, Iu.V., та інші
Опубліковано: (2024)

The constructional knowledge of sets and their properties
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)

Optimization methods for face recognition algorithmes
за авторством: Sitkov, I.P., та інші
Опубліковано: (2025)

Application of coevolution strategy to solve the problem of autonomous navigation trough the maze
за авторством: Omelianenko, Ia.V., та інші
Опубліковано: (2024)

Mathematical methods of planning in systems consisted of rational agents
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2024)

Sequent calculi of composition nominative modal logics of functional-equational level
за авторством: Shkilnyak, O.S.
Опубліковано: (2025)

About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)

Simulation of the autonomous maze navigation using the NEAT algorithm
за авторством: Omelianenko, Ia.V.
Опубліковано: (2023)

About complex intelligent technologies for techno-ecological events control in the water area
за авторством: Pisarenko, V.G., та інші
Опубліковано: (2023)

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

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Multimodal RAG using text and visual data
за авторством: Shevchenko, M.H., та інші
Опубліковано: (2025)

Probable use of regional situational centers of the intellectual system «Сontrol_TEE» using UAVs
за авторством: Pisarenko, J.V., та інші
Опубліковано: (2023)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

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

Coreference resolution algorithm for Ukrainian-language texts using decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2023)

Approach qualitative analisys of dynamic systems wood based solutions
за авторством: Andrushchak, I.Ye.
Опубліковано: (2017)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

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