Publication Details:

Հանդեսը լույս է տեսնում տարին երկու անգամ:

Journal or Publication Title:

Արցախի պետական համալսարանի գիտական տեղեկագիր. Հասարակական և բնական գիտություններ=Ученые записки Арцахского государственного университета: Социальные и естественные науки=Artsakh state university's Proceedings: Social and natural sciences

Date of publication:

2022

Volume:

1

ISSN:

1829-4375

Official URL:

Additional Information:

Сандрян С., Галстян А., Sandryan S., Galstyan A.

Other title:

The Basic Theorem on the Transitive Closure of Binary Relations One Proof and its Construction Algorithm ; Доказательство основной теоремы о транзитивном замыкании бинарного отношенияи его алгоритм построения

Corporate Creators:

Արցախի պետական համալսարան

Contributor(s):

Գլխավոր խմբ.՝ Վալերի Ավանեսյան

Coverage:

30-36

Abstract:

Հոդվածում խիստ մաթեմատիկական տրամաբանության լեզվով կատարված է բինար հարաբերության տրանզիտիվ փակման մասին հիմնական թեորեմի մեկ ապացույց, մշակված է նրա կառուցման ալգորիթմը։
В статье на языке логики строгой математики приводится доказательство основной теоремы о транзитивном замыкании бинарного отношения, разработан алгоритм его построения.
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.

Place of publishing:

Ստեփանակերտ

Format:

pdf

Identifier:

oai:arar.sci.am:359611

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

Արցախի պետական համալսարան