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)

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)

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)

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)

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

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)

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

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

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

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)

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

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

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

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

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

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)

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

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

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

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)

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

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

Interface-oriented approach to modelling tools for multi-agent systems
by: Shevchenko, R.S., et al.
Published: (2025)

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

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

Methods and Models for Employment of the Expert Analytical Knowledge in Organization Decision Making. Part I. Decisions Knowledge Models
by: Ilina, E.P.
Published: (2018)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)