Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2020
Main Author:	Kurgaev, A.F.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2020
Subjects:	meta-language set list predicate recursion definition UDC 004.424
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/386
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

The modification of the meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

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

Meta-language of normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2016)

Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)

On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025)

The extended meta-language of normal forms of knowledge
by: A. F. Kurgaev
Published: (2020)

The modification of the meta-language of normal forms of knowledge
by: A. F. Kurgaev
Published: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

The formalization of lists in the metalanguage of normal forms of knowledge
by: A. F. Kurgaev
Published: (2017)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

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

Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)

Association between XPO5 rs11077 polymorphism and cancer susceptibility: a meta-analysis of 7284 cases and 8511 controls
by: Moazeni-Roodi, A., et al.
Published: (2023)

Knowledge bases and description logics applications to natural language texts analysis
by: Hoherchak, H.I.
Published: (2020)

Parallel distributed system for social networks streaming data analysis
by: Doroshenko, А.Yu., et al.
Published: (2017)

On colouring integers avoiding \(t\)-AP distance-sets
by: Ahmed, Tanbir
Published: (2016)

Zero-sum subsets of decomposable sets in Abelian groups
by: Banakh, T., et al.
Published: (2020)

The normal forms of knowledge
by: A. F. Kurgaev, et al.
Published: (2015)

Definition of XML/RDF Semantic Web languages in the normal forms of knowledge metalanguage
by: A. F. Kurgaev, et al.
Published: (2017)

Development of an algorithm for evaluating the comprehensive ergonomic indicator of hand tools
by: Tsopa, Vitaliy A., et al.
Published: (2024)

Algebras of generalized tree languages with fixed variables
by: Phuapong, S., et al.
Published: (2024)

Parallel distributed implementation of workflow management module for operation support system for telecommunication providers
by: Doroshenko, А.Yu., et al.
Published: (2017)

Meta-Description in the Modern Cinema: A Ukrainian Context
by: R. Peresetskyi
Published: (2016)

Parallel algorithms optimization using Actor Model
by: Doroshenko, А.Yu., et al.
Published: (2020)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
by: Kaverynskyi, V.V., et al.
Published: (2024)

Ideology as a Meta-language of the Alienated Individual
by: A. V. Gizha
Published: (2013)

DS-theory. The research of P-data factors formating
by: Kolesnyk, V.G.
Published: (2018)

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

Approximation of real data by fuzzy sets for the classification problem
by: Sukhanov, Kostiantyn
Published: (2019)

Knowledge bases and description logics applications to natural language texts analysis
by: H. I. Hoherchak
Published: (2020)

Evolution of management – from situational to transdisciplinary
by: Stryzhak, Oleksandr Y., et al.
Published: (2019)

Perturbations of discrete lattices and almost periodic sets
by: Favorov, Sergey, et al.
Published: (2018)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
by: Sinitsyn, I.P., et al.
Published: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
by: Kolesnyk, V.G.
Published: (2017)

System of classification for personnel selection based upon Ukrainian language ana-lyze
by: Zhezherun, O.P., et al.
Published: (2021)