Հանդեսը լույս է տեսնում տարին երկու անգամ:
Сандрян С., Галстян А., Sandryan S., Galstyan A.
The Basic Theorem on the Transitive Closure of Binary Relations One Proof and its Construction Algorithm ; Доказательство основной теоремы о транзитивном замыкании бинарного отношенияи его алгоритм построения
Գլխավոր խմբ.՝ Վալերի Ավանեսյան
Հոդվածում խիստ մաթեմատիկական տրամաբանության լեզվով կատարված է բինար հարաբերության տրանզիտիվ փակման մասին հիմնական թեորեմի մեկ ապացույց, մշակված է նրա կառուցման ալգորիթմը։
В статье на языке логики строгой математики приводится доказательство основной теоремы о транзитивном замыкании бинарного отношения, разработан алгоритм его построения.
In the work, in the language of the logic of strict mathematics, one proof of the basic theorem on the transitive closure of a binary relation is made; an algorithm for its construction is developed.
Ստեփանակերտ
oai:arar.sci.am:359611
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Jan 12, 2024
May 30, 2023
144
https://arar.sci.am/publication/388822
Հրատարակութեան անունը | Թուական |
---|---|
Սանթրյան, Սերյոժա, Բինար հարաբերության տրանզիտիվ փակման մասին հիմնական թեորեմի մեկ ապացույց և նրա կառուցման ալգորիթմը | Jan 12, 2024 |
Առստամյան, Վ. Ավետիսյան, Ռ. Գլխ․ խմբ.՝ Մ. Մ. Մինասյան
Ավագյան, Ա. Ա. Ասցատրյան, Հ․ Վ․ Առաքելյան, Ա․ Ա․ Տարասյան, Ն․ Հ․ Ներսիսյան, Ա․ Հ. Պատ․ խմբ․՝ Ի․ Գ․ Մաղաքյան (1957) Ա․ Հ․ Գաբրիելյան (1958-1966) Ն․ Ի․ Դոլուխանովա (1967-1970) Է․ Ա․ Խաչատրյան (1970-1975) Ա․ Տ․ Ասլանյան (1976-1984) Ա․ Հ․ Գաբրիելյան (1985-1993) Բ․ Կ․ Կարապետյան (1994-2000) Գլխ․ խմբ․՝ Ռ․ Տ․ Ջրբաշյան (2001-2017)
Sargsyan, Shushanik A. Edita G. Gzoyan
Լ. Ռ. Ավետիսյան Պատ․ խմբ․՝ Բ․ Ա․ Ֆանարջյան (1961-1977) Ի․ Ք․ Գևորգյան (1978-1988) Ռ․ Պ․ Ստամբոլցյան (1989-1994) Գլխ․ խմբ․՝ Վ․ Պ․ Հակոբյան (1995-2007) Յու․ Թ․ Ալեքսանյան (2008-2018)
Սարգսյան, Ս. Գ. Հովակիմյան, Ա. Ս. Դարբինյան, Կ. Ս. Ավետիսյան, Ս. Ա. Իսպիրյան, Ն. Հ
Ավետիսյան, Ռ. Վ. Գլխ․ խմբ.՝ Հ. Վ. Գրիգորյան