Displaying similar documents to “The proposal for the modern teaching bulk data processing at secondary school [Abstract of thesis]”

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, Artur Korniłowicz (2017)

Formalized Mathematics

Similarity:

In this paper we give a formal definition of the notion of nominative data with simple names and complex values [15, 16, 19] and formal definitions of the basic operations on such data, including naming, denaming and overlapping, following the work [19]. The notion of nominative data plays an important role in the composition-nominative approach to program formalization [15, 16] which is a development of composition programming [18]. Both approaches are compared in [14]. The composition-nominative...