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)

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)

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)

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)

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)

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

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

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

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

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

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)

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

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

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
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)

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

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

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

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

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

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

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

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

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

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