Zobrazeno 1 - 10
of 27
pro vyhledávání: '"nominative data"'
Publikováno v:
Computer Science Journal of Moldova, Vol 25, Iss 2(74), Pp 195-216 (2017)
In the paper we analyze the set of nominative sets, which can be considered as some mathematical model for data used in computing systems, under assumption that the set of names is linearly ordered. We design algorithms, implemented for execution of
Externí odkaz:
https://doaj.org/article/69913b895d6c4c9caee73130c6ace9be
Publikováno v:
Computer Science Journal of Moldova, Vol 24, Iss 3(72), Pp 371-398 (2016)
In the paper we develop methods for proving properties of programs on hierarchical nominative data on the basis of the composition-nominative approach. In accordance with this approach, the semantics of a program is a function on nominative data cons
Externí odkaz:
https://doaj.org/article/c807f75f099b4dc5bbf63aa5c5dd5bbc
Autor:
Alexey Chentsov
Publikováno v:
Computer Science Journal of Moldova, Vol 24, Iss 1(70), Pp 27-54 (2016)
In the paper the institution for many-sorted first-order composition-nominative logic (CNL) is considered. The difference from the author's previous paper on this topic is richer logical system in question due to addition of operations and sorts, and
Externí odkaz:
https://doaj.org/article/550fca632eb9414e94204ee0007b8411
Publikováno v:
Computer Science Journal of Moldova, Vol 23, Iss 3(69), Pp 270-288 (2015)
In the paper we investigate the notion of nominative data that can be considered as a general mathematical model of data used in computing systems. The main attention is paid to flat nominative data called nominative sets. The structure of the partia
Externí odkaz:
https://doaj.org/article/a1ab8ae10c8340c1812f3a76a6bfe283
Autor:
Adrian Jaszczak
Publikováno v:
Formalized Mathematics, Vol 28, Iss 4, Pp 279-288 (2020)
Summary In this paper we define some properties about finite sequences and verify the partial correctness of an algorithm computing n-th element of Lucas sequence [23], [20] with given P and Q coefficients as well as two first elements (x and y). The
Autor:
Adrian Jaszczak
Publikováno v:
Formalized Mathematics, Vol 28, Iss 4, Pp 269-278 (2020)
Summary In this paper we introduce some new definitions for sequences of operations and extract general theorems about properties of iterative algorithms encoded in nominative data language [20] in the Mizar system [3], [1] in order to simplify the p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Artur Korniłowicz
Publikováno v:
Formalized Mathematics, Vol 28, Iss 2, Pp 187-196 (2020)
Summary In this paper we introduce some notions to facilitate formulating and proving properties of iterative algorithms encoded in nominative data language [19] in the Mizar system [3], [1]. It is tested on verification of the partial correctness of
Autor:
Gortfelder, M.
Publikováno v:
Izvestia. Ural Federal University Journal. Series 2. Humanities and Arts; Том 22, № 2(198); 44-58
Известия Уральского федерального университета. Серия 2. Гуманитарные науки; Том 22, № 2(198); 44-58
Известия Уральского федерального университета. Серия 2. Гуманитарные науки; Том 22, № 2(198); 44-58
The correlation between infant and child mortality and fertility holds an important place in the demographic transition theory. The Princeton project that aimed to empirically check the validity of the theory with reference to the material of Europea
Autor:
Adrian Jaszczak
Publikováno v:
Formalized Mathematics, Vol 27, Iss 2, Pp 189-195 (2019)
Summary This work continues a formal verification of algorithms written in terms of simple-named complex-valued nominative data [6],[8],[15],[11],[12],[13]. In this paper we present a formalization in the Mizar system [3],[1] of the partial correctne