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

The description of lists and sets of meta-language of normal forms of knowledge

Lists use for representation of various knowledge. As lists it comfortably to present formulas, functions, trees, columns, great numbers and many other difficult objects. Great number - one of the most essential structures of data, used both in mathematics, and in programming. The formalization of l...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автор:	Kurgaev, A.F.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2020
Теми:	meta-language set list predicate recursion definition UDC 004.424
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/386
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

The modification of the meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)

The description of lists and sets of meta-language of normal forms of knowledge
за авторством: A. F. Kurgaev
Опубліковано: (2020)

Meta-language of normal forms of knowledge
за авторством: A. F. Kurgaev, та інші
Опубліковано: (2016)

Toolkit for simulation of heterogeneous GPU-based environments
за авторством: Okonsky, I.V., та інші
Опубліковано: (2025)

On performance of the In-Memory Data Grids
за авторством: Rukhlis, K.A., та інші
Опубліковано: (2017)

Parallel distributed implementation of parallel processing simulation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

The extended meta-language of normal forms of knowledge
за авторством: A. F. Kurgaev
Опубліковано: (2020)

The modification of the meta-language of normal forms of knowledge
за авторством: A. F. Kurgaev
Опубліковано: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: A. F. Kurgaev, та інші
Опубліковано: (2017)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

The formalization of lists in the metalanguage of normal forms of knowledge
за авторством: A. F. Kurgaev
Опубліковано: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Association between XPO5 rs11077 polymorphism and cancer susceptibility: a meta-analysis of 7284 cases and 8511 controls
за авторством: Moazeni-Roodi, A., та інші
Опубліковано: (2023)

Knowledge bases and description logics applications to natural language texts analysis
за авторством: Hoherchak, H.I.
Опубліковано: (2020)

Parallel distributed system for social networks streaming data analysis
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

On colouring integers avoiding \(t\)-AP distance-sets
за авторством: Ahmed, Tanbir
Опубліковано: (2016)

Zero-sum subsets of decomposable sets in Abelian groups
за авторством: Banakh, T., та інші
Опубліковано: (2020)

Development of an algorithm for evaluating the comprehensive ergonomic indicator of hand tools
за авторством: Tsopa, Vitaliy A., та інші
Опубліковано: (2024)

The normal forms of knowledge
за авторством: A. F. Kurgaev, та інші
Опубліковано: (2015)

Definition of XML/RDF Semantic Web languages in the normal forms of knowledge metalanguage
за авторством: A. F. Kurgaev, та інші
Опубліковано: (2017)

Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Algebras of generalized tree languages with fixed variables
за авторством: Phuapong, S., та інші
Опубліковано: (2024)

Parallel algorithms optimization using Actor Model
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)

Meta-Description in the Modern Cinema: A Ukrainian Context
за авторством: R. Peresetskyi
Опубліковано: (2016)

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

Ideology as a Meta-language of the Alienated Individual
за авторством: A. V. Gizha
Опубліковано: (2013)

Approximation of real data by fuzzy sets for the classification problem
за авторством: Sukhanov, Kostiantyn
Опубліковано: (2019)

Evolution of management – from situational to transdisciplinary
за авторством: Stryzhak, Oleksandr Y., та інші
Опубліковано: (2019)

Perturbations of discrete lattices and almost periodic sets
за авторством: Favorov, Sergey, та інші
Опубліковано: (2018)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Knowledge bases and description logics applications to natural language texts analysis
за авторством: H. I. Hoherchak
Опубліковано: (2020)

System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)

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