Հրապարակման մանրամասներ:
Հանդեսը լույս է տեսնում տարին երկու անգամ:
Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Сандрян С., Галстян А., 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.
Հրատարակության վայրը:
Ստեփանակերտ
Տեսակ:
Ձևաչափ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան