Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	Kurgaev, A.F.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2020
Schlagworte:	meta-language set list predicate recursion definition UDC 004.424
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/386
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

The modification of the meta-language of normal forms of knowledge
von: Kurgaev, A.F.
Veröffentlicht: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

The description of lists and sets of meta-language of normal forms of knowledge
von: A. F. Kurgaev
Veröffentlicht: (2020)

Meta-language of normal forms of knowledge
von: A. F. Kurgaev, et al.
Veröffentlicht: (2016)

The extended meta-language of normal forms of knowledge
von: A. F. Kurgaev
Veröffentlicht: (2020)

The modification of the meta-language of normal forms of knowledge
von: A. F. Kurgaev
Veröffentlicht: (2019)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

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

Toolkit for simulation of heterogeneous GPU-based environments
von: Okonsky, I.V., et al.
Veröffentlicht: (2025)

On performance of the In-Memory Data Grids
von: Rukhlis, K.A., et al.
Veröffentlicht: (2017)

The definition of formal languages in the meta language of normal forms of knowledge
von: A. F. Kurgaev, et al.
Veröffentlicht: (2017)

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

The formalization of lists in the metalanguage of normal forms of knowledge
von: A. F. Kurgaev
Veröffentlicht: (2017)

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

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

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

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

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

Knowledge bases and description logics applications to natural language texts analysis
von: Hoherchak, H.I.
Veröffentlicht: (2020)

Parallel distributed system for social networks streaming data analysis
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

On colouring integers avoiding \(t\)-AP distance-sets
von: Ahmed, Tanbir
Veröffentlicht: (2016)

Zero-sum subsets of decomposable sets in Abelian groups
von: Banakh, T., et al.
Veröffentlicht: (2020)

Development of an algorithm for evaluating the comprehensive ergonomic indicator of hand tools
von: Tsopa, Vitaliy A., et al.
Veröffentlicht: (2024)

The normal forms of knowledge
von: A. F. Kurgaev, et al.
Veröffentlicht: (2015)

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

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

Parallel algorithms optimization using Actor Model
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Algebras of generalized tree languages with fixed variables
von: Phuapong, S., et al.
Veröffentlicht: (2024)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Approximation of real data by fuzzy sets for the classification problem
von: Sukhanov, Kostiantyn
Veröffentlicht: (2019)

Meta-Description in the Modern Cinema: A Ukrainian Context
von: R. Peresetskyi
Veröffentlicht: (2016)

Perturbations of discrete lattices and almost periodic sets
von: Favorov, Sergey, et al.
Veröffentlicht: (2018)

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

Evolution of management – from situational to transdisciplinary
von: Stryzhak, Oleksandr Y., et al.
Veröffentlicht: (2019)

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

Ideology as a Meta-language of the Alienated Individual
von: A. V. Gizha
Veröffentlicht: (2013)

On filters and upper sets in CI-algebras
von: Piekart, Bozena, et al.
Veröffentlicht: (2018)

On the number of topologies on a finite set
von: Kizmaz, M. Yasir
Veröffentlicht: (2019)

Orthoscalar representations of the partially ordered set \((N, 4)\)
von: Kruglyak, S. A., et al.
Veröffentlicht: (2018)

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